Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Name: Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Uploaded: 2018-01-01
Duration: 26 min 38 s
Description: Formal Verification of Masked Hardware Implementations in the Presence of Glitches — a 2018 Eurocrypt 2018 security conference talk on hardware-firmware (26:38 min). Watch the full video, indexed free on the Breach Arc Archive.

Eurocrypt 2018 · 2018 · 26:38

▶

Formal Verification of Masked Hardware Implementations in the Presence of Glitches — a 2018 Eurocrypt 2018 security conference talk on hardware-firmware (26:38 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware

← Back to the Breach Arc Archive