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.