Formal Verification of Masked Hardware Implementations in the Presence of Glitches

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationEUROCRYPT
PublisherSpringer
Pages321-353
Number of pages33
Volume10821
Publication statusPublished - 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Cite this