Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control

PI:
Edward Suh (ECE)
Co-PI:
Mark Campbell, Andrew Myers (CS)
Funding:
NASA NNX16AB09G
Active Dates:
2015-2018
People:
Goal:
The goal of this program is to develop provable security assurance for safety-critical collision-avoidance operations of autonomous driving systems
Tasks:
Co-design hardware, software, and control algorithms to provide holistic assurance across layers.
Partition autonomous driving systems into multiple security levels, and build hardware and software with provable full-system information flow control (IFC) to ensure safety-critical operations cannot be maliciously affected
Develop collision avoidance algorithms to translate security assurance to quantitative safety assurance
Develop language-based IFC for formal security assurance