I recently presented our work entitled “An Infrastructure for Faithful Execution of Remote Attestation Protocols” at the (virtual) NASA Formal Methods (NFM’21) conference. A video recording of my talk/slides and live Q&A following the talk can be viewed on Youtube here. Here is a link to a pdf of the published paper.