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

4 Abgeschlossen

4 Ergebnisse

Abgeschlossen
EU - SOPHIA - Absicherung von Software gegen Physische Angriffe
Mangard, S.
1/09/16 → 31/08/21
Projekt: Forschungsprojekt
EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Projekt: Forschungsprojekt
FWF - AE - Entwurf und Analyse von authentifizierter Verschlüsselung der nächsten Generation
Mendel, F., Dobraunig, C. E. & Eichlseder, M.
1/10/14 → 30/09/17
Projekt: Forschungsprojekt
DK LogICS - Logische Methoden in der Informatik
Bloem, R. & Braud-Santoni, N.
1/03/14 → 28/02/23
Projekt: Forschungsprojekt