Cyber-Physical Systems

A Game-Theoretic Approach for Integrity Assurance in Resource-Bounded Systems

Assuring communication integrity is a central problem in security. However, overhead costs associated with cryptographic primitives used towards this end introduce significant practical implementation challenges for resource-bounded systems, such as …

Scheduling Resource-Bounded Monitoring Devices for Event Detection and Isolation in Networks

In networked systems, monitoring devices such as sensors are typically deployed to monitor various target locations. Targets are the points in the physical space at which events of some interest, such as random faults or attacks, can occur. Most …

SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems

On the Design of Communication and Transaction Anonymity in Blockchain-Based Transactive Microgrids

PlaTIBART: A Platform for Transactive IoT Blockchain Applications with Repeatable Testing

Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers

Blockchains for Transactive Energy Systems

Due to rapid growth in renewable energy resources and improvements in battery technology, power grids are undergoing major changes, which create significant management and control challenges. To tackle these challenges, decentralized solutions are needed, which can support the evolution of electrical power distribution systems.

Improving Network Connectivity Using Trusted Nodes and Edges

Graph-Theoretic Approach for Increasing Participation in Social Sensing

Optimal Detection of Faulty Traffic Sensors Used in Route Planning