Formal Verification of Masked Hardware Implementations in the Presence of Glitches

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.