Sponsor(s)
National Science Foundation
Contributor(s)
Jonathan Kimball
Bruce McMillin
Mo-Yuen Chow
Remote Video
Submitted by Jonathan Kimball on January 9th, 2018
File
Secure Algorithms for Cyber-Physical Systems Invariants for Cross-Domain and Distributed Correctness
The objective of this project is to formulate and validate a methodology for creating secure algorithms in cyber-physical systems.
Submitted by Jonathan Kimball on November 29th, 2017