USENIX Security '21 - Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor

Name: USENIX Security '21 - Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Duration: 11 min 2 s
Description: USENIX Security '21 - Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor — a USENIX security conference talk on cloud (11:02 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 11:02

▶

USENIX Security '21 - Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor — a USENIX security conference talk on cloud (11:02 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

cloud

← Back to the Breach Arc Archive