Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelEUROCRYPT
Herausgeber (Verlag)Springer
Seiten321-353
Seitenumfang33
Band10821
PublikationsstatusVeröffentlicht - 2018

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Dieses zitieren