Semantics, languages and tools for layered attestation


NFM '21 (Virtual) Conference Presentation

Adam Petz recently presented his joint work with Dr. Perry Alexander entitled “An Infrastructure for Faithful Execution of Remote Attestation Protocols” at the (virtual) NASA Formal Methods (NFM’21) conference. A video recording of the talk/slides and live Q&A following the talk can be viewed on Youtube here.
Download a pdf of the paper from the publications page.