Formal Verification of Masked Hardware Implementations in the Presence of Glitches.

Roderick Bloem, Hannes Gro, Rinat Iusupov, Bettina Knighofer, Stefan Mangard, Johannes Winter

Browse the full EuroCrypt paper archive.