Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control
The goal of this program is to develop provable security assurance for safety-critical collision-avoidance operations of autonomous driving systems
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