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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	EUROCRYPT
Herausgeber (Verlag)	Springer
Seiten	321-353
Seitenumfang	33
Band	10821
Publikationsstatus	Veröffentlicht - 2018

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Zugriff auf Dokument

2017_formal_verification_of_netlistsAkzeptiertes Autorenmanuskript, 506 KB

4 Abgeschlossen

EU - SOPHIA - Absicherung von Software gegen Physische Angriffe
Mangard, S. (Projektleiter an der OE)
1/09/16 → 31/12/21
Projekt: Forschungsprojekt
EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.
Könighofer, R. (Teilnehmer / Mitarbeiter) & Bloem, R. (Projektleiter an der OE)
1/03/15 → 28/02/18
Projekt: Forschungsprojekt
FWF - AE - Entwurf und Analyse von authentifizierter Verschlüsselung der nächsten Generation
Mendel, F. (Projektleiter an der OE), Eichlseder, M. (Teilnehmer / Mitarbeiter) & Dobraunig, C. E. (Teilnehmer / Mitarbeiter)
1/10/14 → 30/09/17
Projekt: Forschungsprojekt

2 Beitrag in einem Konferenzband

CocoAlma: A Versatile Masking Verifier
Hadzic, V. & Bloem, R., 9 Juli 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (Hrsg.). S. 14-23 10 S. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Open Access
Datei
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. (Hrsg.). Cham: Springer, S. 249-265 16 S. (Lecture Notes in Computer Science; Band 12971).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Datei

Dieses zitieren

@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

Publikationsreihe

Zugriff auf Dokument

Projekte

EU - SOPHIA - Absicherung von Software gegen Physische Angriffe

EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.

FWF - AE - Entwurf und Analyse von authentifizierter Verschlüsselung der nächsten Generation

Publikationen

CocoAlma: A Versatile Masking Verifier

Proving SIFA Protection of Masked Redundant Circuits

Dieses zitieren