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

Submitted by edwardsuh on Mon, 04/25/2016 - 5:53pm
Project Details
Lead PI:Gookwon Suh
Institution(s):Cornell University
Sponsor(s):National Science Foundation
National Aeronautics and Space Administration
Award Number:1544788
1018 Reads. Placed 375 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract:

Related Artifacts

Posters