Adam Petz

Recent Posts
Pages
Index
Blog

Blog Categories
Announcements
Coq
Music

HotSoS 2020 Poster Presentation

Gave a virtual poster presentation at HotSoS 2020 entitled: “An Infrastructure for Faithful Execution of Remote Attestation Protocols”. The poster pdf is here, and the accompanying 3-minute lightning talk presentation here. Fielded live questions from the audience via video chat after.