Cyber-Physical Security (CPS)
Research Group

The Cyber-Physical Security (CPS) Research Laboratory conducts research in the design and validation of trustworthy and secure cyber-physical systems. Cyber-physical systems are orchestrated networks of cyber computations and physical processes that play key roles in societal core functionalities such as the power grid, healthcare and transportation infrastructures. Cyber-physical critical infrastructures often require high safety and resilience, security and privacy, and these goals sometimes contradict one another.

By providing a unified method to validate those criteria during the entire design process, the group develops and applies sound theoretical and engineering principles to trustworthy real-world system design. 4N6 research projects have been in collaboration with our industrial and research laboratory collaborators, e.g., ATT Research Labs, Siemens Research Labs, IBM Research, Fortinet Corporation, PowerWorld Corporation, Google. Our research projects are supported by the Department of Homeland Security, Office of Naval Research, National Science Foundation, Department of Energy (Advanced Research Projects Agency-Energy - ARPAE), Fortinet Corporation, Google, and WindRiver.

The current research projects are on i) cyber-physical intrusion tolerance and formal verification; ii) embedded system security and forensics; iii) trustworthy power grid critical infrastructures; and iv) malware analysis and reverse engineering.