Compiler-Assisted Loop Hardening Against Fault Attacks. - Julien Proy; Karine Heydemann; Alexandre Berzati; Albert Cohen 001 (ACM Trans. Archit. Code Optim., 2017)

A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective. - Julien Proy; Karine Heydemann; Alexandre Berzati; Fabien Majéric; Albert Cohen 001 (ARES, 2019)

Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level. - Julien Proy; Karine Heydemann; Fabien Majéric; Albert Cohen 001; Alexandre Berzati (CoRR, 2019)

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

Hardware Implementations of Pairings at Updated Security Levels. - Arthur Lavice; Nadia El Mrabet; Alexandre Berzati; Jean-Baptiste Rigaud; Julien Proy (CARDIS, 2021)

PMNS revisited for consistent redundancy and equality test. - Fangan-Yssouf Dosso; Alexandre Berzati; Nadia El Mrabet; Julien Proy (IACR Cryptol. ePrint Arch., 2023)