USENIX Security '19 - VRASED: A Verified Hardware/Software Co-Design for Remote Attestation
▶USENIX Security '19 - VRASED: A Verified Hardware/Software Co-Design for Remote Attestation — a USENIX security conference talk on hardware-firmware (19:18 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube