activity
20142023
most citedIoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems

19 citations · 35 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CY2023★ 1 cited

Non-Intrusive Driver Behavior Characterization From Road-Side Cameras

Pavana Pradeep Kumar, Krishna Kant, Amitangshu Pal

In this paper, we demonstrate a proof of concept for characterizing vehicular behavior using only the roadside cameras of the ITS system. The essential advantage of this method is…

cs.SE2021

Performance Health Index for Complex Cyber Infrastructures

Sanjeev Sondur, Krishna Kant

Most IT systems depend on a set of configuration variables (CVs), expressed as a name/value pair that collectively define the resource allocation for the system. While the ill-effe…

cs.CR2018★ 19 cited

IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems

Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer +1

Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its…

cs.NI2014★ 2 cited

BT-GPSR: An Integrated Trust Model for Secure Geographic Routing in Wireless Sensor Networks

Raghu Vamsi. P, Payal Khurana Batra, Krishna Kant

Geographic routing offers guaranteed packet deliv- ery in a dense network. In this routing, packets are forwarded to a node which is nearer to the destination with an extensive use…

cs.NI2014★ 13 cited

Systematic Design of Trust Management Systems for Wireless Sensor Networks: A Review

Raghu Vamsi. P, Krishna Kant

Conventional cryptography methods alone are not adequate for secure routing in Wireless Sensor Networks (WSNs). These networks are more vulnerable to security attacks due to their…