Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Filter

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
FWF - DK LogICS - Doctoral Program: Logical Methods in Computer Science
Braud-Santoni, N. (Attendee / Assistant) & Bloem, R. (Project manager on research unit)
1/03/14 → 28/02/23
Project: Research project

Projects