International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Johannes Winter

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)
Bettina Könighofer (1)
Stefan Mangard (1)
Johannes Winter (1)