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

Publications