Julien Proy

Compiler-Assisted Loop Hardening Against Fault Attacks

Karine Heydemann, Albert Cohen, Alexandre Berzati, 2017, ACM Trans. Archit. Code Optim..

Sécurisation systématique d'applications embarquées contre les attaques physiques. (Automatic hardening of embedded applications against physical attacks)

Julien Proy, 2019 .

Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level pdf

Karine Heydemann, Albert Cohen, Alexandre Berzati, 2019, ArXiv.

A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective

Karine Heydemann, Alexandre Berzati, Albert Cohen, 2019, ARES.