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


Error message

  • Warning: file_put_contents(temporary://filesG2E17): failed to open stream: "DrupalTemporaryStreamWrapper::stream_open" call failed in file_unmanaged_save_data() (line 1941 of /acadtech/www/courses2/campbellmae_vh/includes/file.inc).
  • The file could not be created.
  • Warning: file_put_contents(temporary://fileP3wdZv): failed to open stream: "DrupalTemporaryStreamWrapper::stream_open" call failed in file_unmanaged_save_data() (line 1941 of /acadtech/www/courses2/campbellmae_vh/includes/file.inc).
  • The file could not be created.
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