34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme

Name: 34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme
Uploaded: 2017-01-01
Duration: 1 h 1 min 39 s
Description: 34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme — a 2017 Chaos Communication Congress 2017 (34C3) security conference talk on hardware-firmware (1:01:39 min). Watch the full video, indexed free on the Breach Arc Archive.

Chaos Communication Congress 2017 (34C3) · 2017 · 1:01:39

▶

34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme — a 2017 Chaos Communication Congress 2017 (34C3) security conference talk on hardware-firmware (1:01:39 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive