Formal Modelling and Proof in the CHERI Design and Implementation Process

Name: Formal Modelling and Proof in the CHERI Design and Implementation Process
Uploaded: 2020-01-01
Duration: 15 min 27 s
Description: Formal Modelling and Proof in the CHERI Design and Implementation Process — a 2020 IEEE Security & Privacy 2020 security conference talk on hardware-firmware (15:27 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2020 · 2020 · 15:27

▶

Formal Modelling and Proof in the CHERI Design and Implementation Process — a 2020 IEEE Security & Privacy 2020 security conference talk on hardware-firmware (15:27 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive