Cyber-Physical Security

add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description add description 

Run-Time Security Enforcement

Innovative approach to securing cyber-physical systems by synthesizing a “safety shield” that is attached to the design to enforce desired properties at run time. Professor Chao Wang of CCI developed the first shield synthesis solution for reactive hardware systems.

Faculty Involved: Chao Wang

Secure Processing for IoT Middleware

Developing novel homomorphic encryption techniques to protect third party cloud providers from having access to pub-sub data from an IoT System.

Faculty Involved: Muhammad Naveed, Bhaskar Krishnamachari

Resiliency of CPS systems

  • Developing methodological guidance and knowledge transfer mechanisms including real-time coupling between testbeds and deployed systems, to make cyber-physical systems robust and resilient to failures.
  • Systems engineering approach to providing survivable communications in the face of “black sky” events (sustained, large-scale power outage).

Faculty Involved: Alefiya Hussain, Neil Siegel

Privacy in IoT Systems

  • Some of our faculty are investigating data privacy, privacy-preserving algorithms and technologies including differential privacy.
  • Experimental studies revealing cross-app tracking using bluetooth devices, and privacy issues in the Amazon Alexa skills ecosystem

Faculty Involved: Aleksandra Korolova