Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
