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 contributionResearchpeer-review

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

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 (Vol. 10821, pp. 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 . Vol. 10821 Springer, 2018. p. 321-353 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 . vol. 10821, Lecture Notes in Computer Science, Springer, pp. 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 . Vol. 10821. Springer. 2018. p. 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 . Vol. 10821 Springer, 2018. pp. 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 -