34C3 2017 Coming Soon Machine Checked Mathematical Proofs in Everyday Software and Hardware Devel

Name: 34C3 2017 Coming Soon Machine Checked Mathematical Proofs in Everyday Software and Hardware Devel
Uploaded: 2017-01-01
Duration: 1 h 1 min 40 s
Description: 34C3 2017 Coming Soon Machine Checked Mathematical Proofs in Everyday Software and Hardware Devel — a 2017 All Hacking Cons (community re-uploads) security conference talk on hardware-firmware (1:01:40 min). Watch the full video, indexed free on the Breach Arc Archive.

All Hacking Cons (community re-uploads) · 2017 · 1:01:40

▶

34C3 2017 Coming Soon Machine Checked Mathematical Proofs in Everyday Software and Hardware Devel — a 2017 All Hacking Cons (community re-uploads) security conference talk on hardware-firmware (1:01:40 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive