Micro-Policies: Formally Verified, Tag-Based Security Monitors

Name: Micro-Policies: Formally Verified, Tag-Based Security Monitors
Uploaded: 2015-01-01
Duration: 21 min 37 s
Description: Micro-Policies: Formally Verified, Tag-Based Security Monitors — a 2015 IEEE Security & Privacy 2015 (May 20, 2015) security conference talk on hardware-firmware (21:37 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2015 (May 20, 2015) · 2015 · 21:37

▶

Micro-Policies: Formally Verified, Tag-Based Security Monitors — a 2015 IEEE Security & Privacy 2015 (May 20, 2015) security conference talk on hardware-firmware (21:37 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive