203 citations · 320 across the 8 of their papers we have counts for
9 papers
aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
Noé Amiot, Quentin L. Meunier, Karine Heydemann +1
Verifying the security of masked hardware and software implementations, under advanced leakage models, remains a significant challenge, especially then accounting for glitches, tra…
MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks
Thomas Chamelot, Damien Couroussé, Karine Heydemann
Fault injection attacks represent an effective threat to embedded systems. Recently, Laurent et al. have reported that fault injection attacks can leverage faults inside the microa…
Secure Optimization Through Opaque Observations
Son Tuan Vu, Albert Cohen, Karine Heydemann +2
Secure applications implement software protections against side-channel and physical attacks. Such protections are meaningful at machine code or micro-architectural level, but they…
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level
Julien Proy, Karine Heydemann, Fabien Majéric +2
In the area of physical attacks, system-on-chip (SoC) designs have not received the same level of attention as simpler micro-controllers. We try to model the behavior of secure sof…
Experimental evaluation of two software countermeasures against fault attacks
Nicolas Moro, Karine Heydemann, Amine Dehbaoui +2
Injection of transient faults can be used as a way to attack embedded systems. On embedded processors such as microcontrollers, several studies showed that such a transient fault i…
Automatic Detection of Performance Anomalies in Task-Parallel Programs
Andi Drebes, Karine Heydemann, Antoniu Pop +2
To efficiently exploit the resources of new many-core architectures, integrating dozens or even hundreds of cores per chip, parallel programming models have evolved to expose massi…
Formal verification of a software countermeasure against instruction skip attacks
Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz +1
Fault attacks against embedded circuits enabled to define many new attack paths against secure circuits. Every attack path relies on a specific fault model which defines the type o…
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller
Nicolas Moro, Amine Dehbaoui, Karine Heydemann +2
Injection of transient faults as a way to attack cryptographic implementations has been largely studied in the last decade. Several attacks that use electromagnetic fault injection…
A framework to experiment optimizations for real-time and embedded software
Hugues Cassé, Karine Heydemann, Haluk Ozaktas +3
Typical constraints on embedded systems include code size limits, upper bounds on energy consumption and hard or soft deadlines. To meet these requirements, it may be necessary to…