by Roderick Bloem, Hannes Gross, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Reference:
Formal Verification of Masked Hardware Implementations in the Presence of GlitchesRoderick Bloem, Hannes Gross, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes WinterAdvances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018.
Bibtex Entry:
@inproceedings{DBLP:conf/eurocrypt/formal,
author = {Roderick Bloem and
Hannes Gross and
Rinat Iusupov and
Bettina Könighofer and
Stefan Mangard and
Johannes Winter},
title = {Formal Verification of Masked Hardware Implementations in the Presence of Glitches},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2018 - 37th Annual International
Conference on the Theory and Applications of Cryptographic Techniques},
series = {Lecture Notes in Computer Science},
year = {2018},
url = {https://eprint.iacr.org/2017/897},
}