Etienne Boespflug

According to our database, Etienne Boespflug authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.

Guilhem Lacombe, David Féliot, Etienne Boespflug, Marie-Laure Potet

J. Cryptogr. Eng., April, 2024

2023

Outils pour l'analyse de code et de contre-mesures pour l'injection de fautes multiples. (Tools for code and countermeasures analysis against multiple faults attacks).

Etienne Boespflug

PhD thesis, 2023

A tool assisted methodology to harden programs against multi-faults injections.

Etienne Boespflug, Abderrahmane Bouguern, Laurent Mounier, Marie-Laure Potet

CoRR, 2023

A Compositional Methodology to Harden Programs Against Multi-Fault Attacks.

Etienne Boespflug, Laurent Mounier, Marie-Laure Potet, Abderrahmane Bouguern

Proceedings of the Workshop on Fault Detection and Tolerance in Cryptography, 2023

2020

Countermeasures Optimization in Multiple Fault-Injection Context.

Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet

Proceedings of the 17th Workshop on Fault Detection and Tolerance in Cryptography, 2020

2019

Predicting the Effect of Hardware Fault Injection.

Etienne Boespflug, Romain Gourier, Jean-Louis Lanet

Proceedings of the 2019 International Workshop on Big Data and Information Security, 2019