Visible to the public Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow ControlConflict Detection Enabled

Project Details
Lead PI:Gookwon Suh
Institution(s):Cornell University
Sponsor(s):National Science Foundation
National Aeronautics and Space Administration
Award Number:1544788
300 Reads. Placed 379 out of 803 NSF CPS Projects based on total reads on all related artifacts.
Abstract: