Formal Verification of Masked Hardware Implementations in the Presence of Glitches

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

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

Original language	English
Title of host publication	EUROCRYPT
Publisher	Springer
Pages	321-353
Number of pages	33
Volume	10821
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

2017_formal_verification_of_netlistsAccepted author manuscript, 506 KB

4 Finished

EU - SOPHIA - Securing Software against Physical Attacks
Mangard, S. (Project manager on research unit)
1/09/16 → 31/12/21
Project: Research project
EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Könighofer, R. (Attendee / Assistant) & Bloem, R. (Project manager on research unit)
1/03/15 → 28/02/18
Project: Research project
FWF - AE - Design and Analysis of Next Generation Authenticated Encryption Algorithms
Mendel, F. (Project manager on research unit), Eichlseder, M. (Attendee / Assistant) & Dobraunig, C. E. (Attendee / Assistant)
1/10/14 → 30/09/17
Project: Research project

2 Conference paper

CocoAlma: A Versatile Masking Verifier
Hadzic, V. & Bloem, R., 9 Jul 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). p. 14-23 10 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Proving SIFA Protection of Masked Redundant Circuits
Hadžić, V., Primas, R. & Bloem, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 249-265 16 p. (Lecture Notes in Computer Science; vol. 12971).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

File

Cite this

@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",

address = "United States",

}

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 -

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Publication series

Access to Document

Projects

EU - SOPHIA - Securing Software against Physical Attacks

EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems

FWF - AE - Design and Analysis of Next Generation Authenticated Encryption Algorithms

Research output

CocoAlma: A Versatile Masking Verifier

Proving SIFA Protection of Masked Redundant Circuits

Cite this