Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Article Details
Title:	Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Article URLs:	https://doi.org/10.1007/978-3-319-78375-8_11
Alternative Article URLs:
Authors:	Roderick Bloem	Graz University of Technology, Institute for Applied Information Processing and Communications
	Hannes Groß	Graz University of Technology, Institute for Applied Information Processing and Communications
	Rinat Iusupov	Graz University of Technology, Institute for Applied Information Processing and Communications
	Bettina Könighofer	Graz University of Technology, Institute for Applied Information Processing and Communications
	Stefan Mangard	Graz University of Technology, Institute for Applied Information Processing and Communications
	Johannes Winter	Graz University of Technology, Institute for Applied Information Processing and Communications
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/riusupov/rebecca
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/eurocrypt/BloemGIKMW18
Author Comments:

Advances in Cryptology, EUROCRYPT 2018