1505610

biblio

Visible to the public Multiple Security Domain Model of a Vehicle in an Automated Vehicle System,

Submitted by el_wehby on Thu, 03/29/2018 - 1:52pm
biblio

Visible to the public Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems

Submitted by el_wehby on Thu, 03/29/2018 - 1:52pm
biblio

Visible to the public Physical Attestation in the Smart Grid for Distributed State Verification

Submitted by el_wehby on Thu, 03/29/2018 - 1:52pm
file

Visible to the public Secure Algorithms for Cyber-Physical Systems Invariants for Cross-Domain and Distributed Correctness

Submitted by Jonathan Kimball on Wed, 11/29/2017 - 5:21pm. Contributors:

The objective of this project is to formulate and validate a methodology for creating secure algorithms in cyber-physical systems.