Phd Thesis
- [French] “Outils pour l’analyse de code et de contre-mesures pour l’injection de fautes multiples” 2023
“Tools for code and countermeasures analysis against multiple faults attacks”, [PDF FR] [Github] [Slides]
Publications
2023
- E. Boespflug, L. Mounier, M-L. Potet, A. Bouguern, “A compositional methodology to harden programs against multi-fault attacks” – 2023 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), [PDF] [Slides]
- G. Lacombe, D. Feliot, E. Boespflug and M-L. Potet, “Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities” – 2023 Journal of Cryptographic Engineering (JCE), pp. 1-18, [PDF]
2021
- G. Lacombe, D. Feliot, E. Boespflug and M-L. Potet, “Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities” – 2021 PROOF Workshop, [PDF]
2020
- E. Boespflug, C. Ene, L. Mounier and M-L. Potet, “Countermeasures Optimization in Multiple Fault-Injection Context” – 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), pp. 26-34, doi: 10.1109/FDTC51366.2020.00011. [PDF] [Slides]
2019
- E. Boespflug, R. Gourier and J-L. Lanet, “Predicting the Effect of Hardware Fault Injection” 2019 International Workshop on Big Data and Information Security (IWBIS), Bali, Indonesia, 2019, pp. 103-108, doi: 10.1109/IWBIS.2019.8935864. [PDF] [IEEEexplore]
Other presentations
2023
- E. Boespflug, “Placement of software countermeasures: a compositional approach” – 2023 Journée thématique sur les Attaques par Injection de Faute (JAIF), [Abstract] [Slides]
2022
- E. Boespflug, “Countermeasure Analysis in multi-fault context”, 2022 Annual Meeting of the WG “Formal Methods for Security”, Fréjus, France
2021
- E. Boespflug, L. Mounier, C. Ene, M-L. Potet , “KLEE-Assisted Code Robustness Evaluation against Fault Injections” – 2021 KLEE Workshop, [Slides] [Video]