Semantics, languages and tools for layered attestation


Automated Trust Analysis Paper Accepted

“Automated Trust Analysis of Copland Specifications for Layered Attestation” by Paul Rowe, John Ramsdell, and Ian Kretz has been accepted for publication at Principles and Practice of Declarative Programming (PPDP’21), September 6-8 in Tallinn, Estonia. The paper describes a method for analyzing trust properties of Copland phrases, allowing analysts and designers to evaluate the strength of a Copland phrase in the presence of an active adversary. You can access a prepub manuscript from the publications page. The full details of inputs used for examples in the paper can be browsed here.