Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control
Lead PI:
Gookwon Suh
Institution: Cornell University
Sponsor: National Science Foundation
Award Number: 1544788