USENIX Security '21 - Towards Formal Verification of State Continuity for Enclave Programs

Name: USENIX Security '21 - Towards Formal Verification of State Continuity for Enclave Programs
Duration: 12 min 14 s
Description: USENIX Security '21 - Towards Formal Verification of State Continuity for Enclave Programs — a USENIX security conference talk on hardware-firmware (12:14 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 12:14

▶

USENIX Security '21 - Towards Formal Verification of State Continuity for Enclave Programs — a USENIX security conference talk on hardware-firmware (12:14 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive