Students

Supervised Students

This page summarizes the work done with my supervised students.

PhD Students

• 2024 - Jonah Alle Monne, Formalization and Analysis of Countermeasures against Fault Injection Attacks on Open-source Processors (co-supervised with Damien Couroussé, CEA-LIST Grenoble, and Mathieu Jan, CEA-LIST Saclay).
• 2023 - Gwenn Le Gonidec, Securing RISC-V System-on-Chip against Energy-based Attacks (co-supervised with Maria Méndez Real, Lab-STICC, and Jean-Christophe Prévotet, IETR/INSA Rennes).
• 2021 - Amélie Marotta, Effects of synchronous clock glitch on the security of integrated circuits (co-supervised with Ronan Lashermes, INRIA-LHS, Olivier Sentieys, INRIA-TARAN, and Rachid Dafali, DGA-MI).
• 2020-2024 - Vincent Giraud, Application Security on Uncontrolled Systems: Study of Risks, Protections, Stakes, and Interests Around Trust in Off-the-shelf Computer Products (co-supervised with David Naccache, ENS Paris).
• 2017-2021 - Thomas Trouchkine, SoC Physical Security Evaluation (co-supervised with Jessy Clédière, CEA-LETI).

PhD Juries

Jury Examiner

• 2024 - Antoine Gicquel, Vulnerability Assessment of a Binary Program in the Presence of Numerous and Precise Faults.
• 2024 - Simon Tollec, Formal Verification of Processor Microarchitecture to Analyze System Security against Fault Attacks.
• 2023 - Soline Ducousso, Moving Code Analysis from Safety to Security: Attacker Model.
• 2022 - Vincent Werner, Optimizing Identification and Exploitation of Fault Injection Vulnerabilities on Microcontrollers.
• 2021 - Youssef Inedjaren, Contribution to Intelligent Transportation Systems: Security of Communications in Vehicular Ad hoc Networks.
• 2019 - Sebanjila Kevin Bukasa, Vulnerability Analysis of a Secure Enclave in Embedded Devices.
• 2018 - Damien Marion, Multidimensionality of the Models and the Data in the Side Channel Domain.
• 2018 - Abdelhak Mesbah, Reconstruction de traces d’exécution à partir de fragments par utilisation de solveurs de contraintes.
• 2016 - Tiana Razafindralambo, Security of Microcontrollers: From Smart Cards to Mobile Devices.
• 2016 - Louis Dureuil, Code Analysis and Evaluation Process for Vulnerability Detection against Fault Injection on Secure Hardware.

PhD Student’s Individual Thesis Monitoring Committee

• Mathieu Escouteloup, Secure Micro-architecture with Marie-Laure Potet (VERIMAG), 2019 & 2020.
• Léopold Ouairy, Vulnerability Analysis for Embedded Systems against Fuzzing Attacks.
  • 2019: with Pierre-Alain Fouque (IRISA).
  • 2018: with Valérie Viet Triem Tong (INRIA).

Master Students

• 2024 - Guillaume Pietri: Implementation of a Security Architecture on an Arm COTS SoC (co-supervised with Luc Bonnafoux).
• 2023 - Angie-Sofia Bikou: Analysis of a Secure Component Architecture (co-supervised with Luc Bonnafoux).
• 2022 - Louisa Malki-Haegel: Fingerprinting of Embedded Software Implementations.
• 2021 - Ever Atilano Rosales: Security of Secure Boot against Fault Attacks (co-supervised with Arnaud De Grandmaison, ARM, and Karine Heydemann, Sorbonne University/LIP6), ARM Paris.
• 2020 - Yanis Belkheyar: Authenticated Disk Encryption (co-supervised with Louiza Khati, ANSSI crypto team).
• 2019 - Vincent Giraud: Secure Implementation of GlobalPlatform for Java Card Platforms.
• 2017 - Thomas Trouchkine: Hardware Implementation of a Java Card Virtual Machine (co-supervised with Patrick Haddad).
• 2016 - Léo Gaspard: Implementation of a Secure Operating System for Java Card Smart Cards. (Published at SSTIC 2018)

Apprenticeship

• 2017-2020 - Boris Simunovic: Security Analysis of the ISO-7816 Stack. (Report PDF). (GitHub, CardStalker)