USENIX Security '21 - DICE*: A Formally Verified Implementation of DICE Measured Boot

Name: USENIX Security '21 - DICE*: A Formally Verified Implementation of DICE Measured Boot
Duration: 10 min 58 s
Description: USENIX Security '21 - DICE*: A Formally Verified Implementation of DICE Measured Boot — a USENIX security conference talk on hardware-firmware (10:58 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 10:58

▶

USENIX Security '21 - DICE*: A Formally Verified Implementation of DICE Measured Boot — a USENIX security conference talk on hardware-firmware (10:58 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive