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 KonferenzbandForschungBegutachtung

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

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Dies zitieren

Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S., & Winter, J. (2018). Formal Verification of Masked Hardware Implementations in the Presence of Glitches. in EUROCRYPT (Band 10821, S. 321-353). (Lecture Notes in Computer Science). Springer.

Formal Verification of Masked Hardware Implementations in the Presence of Glitches. / Bloem, Roderick; Groß, Hannes; Iusupov, Rinat; Könighofer, Bettina; Mangard, Stefan; Winter, Johannes.

EUROCRYPT . Band 10821 Springer, 2018. S. 321-353 (Lecture Notes in Computer Science).

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

Bloem, R, Groß, H, Iusupov, R, Könighofer, B, Mangard, S & Winter, J 2018, Formal Verification of Masked Hardware Implementations in the Presence of Glitches. in EUROCRYPT . Bd. 10821, Lecture Notes in Computer Science, Springer, S. 321-353.
Bloem R, Groß H, Iusupov R, Könighofer B, Mangard S, Winter J. Formal Verification of Masked Hardware Implementations in the Presence of Glitches. in EUROCRYPT . Band 10821. Springer. 2018. S. 321-353. (Lecture Notes in Computer Science).
Bloem, Roderick ; Groß, Hannes ; Iusupov, Rinat ; Könighofer, Bettina ; Mangard, Stefan ; Winter, Johannes. / Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT . Band 10821 Springer, 2018. S. 321-353 (Lecture Notes in Computer Science).
@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 contribution

VL - 10821

T3 - Lecture Notes in Computer Science

SP - 321

EP - 353

BT - EUROCRYPT

PB - Springer

ER -