3 papers
cs.CR2019
Limitations on Observability of Effects in Cyber-Physical Systems
Suresh K. Damodaran, Paul D. Rowe
Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is help…
cs.CR2018
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell +2
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a str…
cs.CR2016
Principles of Layered Attestation
Paul D. Rowe
Systems designed with measurement and attestation in mind are often layered, with the lower layers measuring the layers above them. Attestations of such systems, which we call laye…