International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Authors:
Roderick Bloem
Hannes Groß
Rinat Iusupov
Bettina Könighofer
Stefan Mangard
Johannes Winter
Download:
DOI: 10.1007/978-3-319-78375-8_11 (login may be required)
Search ePrint
Search Google
Conference: EUROCRYPT 2018
Video from EUROCRYPT 2018
BibTeX
@inproceedings{eurocrypt-2018-28577,
  title={Formal Verification of Masked Hardware Implementations in the Presence of Glitches},
  booktitle={EUROCRYPT (2)},
  publisher={Springer},
  pages={321-353},
  doi={10.1007/978-3-319-78375-8_11},
  author={Roderick Bloem and Hannes Groß and Rinat Iusupov and Bettina Könighofer and Stefan Mangard and Johannes Winter},
  year=2018
}