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
Download a pdf of the paper from the publications page.