203 citations · 320 across the 8 of their papers we have counts for
4 papers · 1 filter
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…