Semantics, languages and tools for layered attestation


NFM Paper Accepted

“An Infrastructure for Faithful Execution of Remote Attestation Protocols” by Adam Petz and Perry Alexander has been accepted for publication at NASA Formal Methods Symposium (NFM’21), May 24-28, in Norfolk, VA. This paper presents a verified model of our attestation manager implementation that compiles Copland terms into an attestation intermediate form. Download a prepub manuscript from the publications page.