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.
2023 - Gwenn Le Gonidec, Securing RISC-V System-on-Chip against Energy-based Attacks.
2021-2025 - Amélie Marotta, Effects of synchronous clock glitch on the security of integrated circuits.
2020-2024 - Vincent Giraud, Application Security on Uncontrolled Systems: Study of Risks, Protections, Stakes, and Interests Around Trust in Off-the-shelf Computer Products.
2017-2021 - Thomas Trouchkine, SoC Physical Security Evaluation.

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.
2023 - Angie-Sofia Bikou: Analysis of a Secure Component Architecture.
2022 - Louisa Malki-Haegel: Fingerprinting of Embedded Software Implementations.
2021 - Ever Atilano Rosales: Security of Secure Boot against Fault Attacks, ARM Paris.
2020 - Yanis Belkheyar: Authenticated Disk Encryption.
2019 - Vincent Giraud: Secure Implementation of GlobalPlatform for Java Card Platforms.
2017 - Thomas Trouchkine: Hardware Implementation of a Java Card Virtual Machine.
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)