An I/O Separation Model for Formal Verification of Kernel Implementations

Name: An I/O Separation Model for Formal Verification of Kernel Implementations
Uploaded: 2021-01-01
Duration: 15 min 15 s
Description: An I/O Separation Model for Formal Verification of Kernel Implementations — a 2021 IEEE Security & Privacy 2021 security conference talk on linux-unix (15:15 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2021 · 2021 · 15:15

▶

An I/O Separation Model for Formal Verification of Kernel Implementations — a 2021 IEEE Security & Privacy 2021 security conference talk on linux-unix (15:15 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

linux-unix

← Back to the Breach Arc Archive