International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Bettina Könighofer

Publications

Year
Venue
Title
2018
EUROCRYPT
Formal Verification of Masked Hardware Implementations in the Presence of Glitches 📺
Roderick Bloem Hannes Groß Rinat Iusupov Bettina Könighofer Stefan Mangard Johannes Winter

Coauthors

Roderick Bloem (1)
Hannes Groß (1)
Rinat Iusupov (1)
Stefan Mangard (1)
Johannes Winter (1)