2 citations · 3 across the 7 of their papers we have counts for
5 papers · 1 filter
An Efficient Anomaly Detection Framework for Wireless Sensor Networks Using Markov Process
Rahul Mishra, Sudhanshu Kumar Jha, Omar Faruq Osama +3
Wireless Sensor Networks forms the backbone of modern cyber physical systems used in various applications such as environmental monitoring, healthcare monitoring, industrial automa…
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla +1
The verification of differential privacy algorithms that employ Gaussian distributions is little understood. This paper tackles the challenge of verifying such programs by introduc…
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
Rahul Mishra, Sudhanshu Kumar Jha, Naresh Kshetri +6
Efficient and reliable node deployment in Wireless Sensor Networks is crucial for optimizing coverage of the area, connectivity among nodes, and energy efficiency. This paper propo…
Formal Verification for Blockchain-based Insurance Claims Processing
Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal +3
Insurance claims processing involves multi-domain entities and multi-source data, along with a number of human-agent interactions. Use of Blockchain technology-based platform can s…
Deciding Differential Privacy of Online Algorithms with Multiple Variables
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan +1
We consider the problem of checking the differential privacy of online randomized algorithms that process a stream of inputs and produce outputs corresponding to each input. This p…