USENIX Security '20 - BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

Name: USENIX Security '20 - BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
Duration: 11 min 34 s
Description: USENIX Security '20 - BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof — a USENIX security conference talk on hardware-firmware (11:34 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 11:34

▶

USENIX Security '20 - BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof — a USENIX security conference talk on hardware-firmware (11:34 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive