Our paper entitled “An Infrastructure for Faithful Execution of Remote Attestation Protocols” was accepted to appear in the upcoming NASA Formal Methods conference. I will present this work (virtually) during the conference program in May, 2021. Here is a link to the published pdf.