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
981 Reads. Placed 394 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract: