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 proceeding › Conference paper › peer-review

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

@inproceedings{a99b784608d2432f8755a353f42c39a3,

title = "Formal Verification of Masked Hardware Implementations in the Presence of Glitches",

author = "Roderick Bloem and Hannes Gro{\ss} and Rinat Iusupov and Bettina K{\"o}nighofer and Stefan Mangard and Johannes Winter",

year = "2018",

language = "English",

volume = "10821",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "321--353",

booktitle = "EUROCRYPT",

}

TY - GEN

T1 - Formal Verification of Masked Hardware Implementations in the Presence of Glitches

AU - Bloem, Roderick

AU - Groß, Hannes

AU - Iusupov, Rinat

AU - Könighofer, Bettina

AU - Mangard, Stefan

AU - Winter, Johannes

PY - 2018

Y1 - 2018

M3 - Conference paper

VL - 10821

T3 - Lecture Notes in Computer Science

SP - 321

EP - 353

BT - EUROCRYPT

PB - Springer

ER -