Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

TheIACR via YouTube

Overview

Explore a conference talk from Eurocrypt 2018 that delves into the formal verification of masked hardware implementations, specifically addressing the challenges posed by glitches. Learn about the research conducted by Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, and Johannes Winter as they present their findings on this critical aspect of cryptographic hardware security. Gain insights into the methodologies and techniques used to verify the robustness of masked implementations against potential vulnerabilities introduced by glitches in hardware circuits.

Syllabus

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Taught by

TheIACR

Reviews

Start your review of Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.