Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. - Marie-Laure Potet; Laurent Mounier; Maxime Puys; Louis Dureuil (ICST, 2014)

From Code Review to Fault Injection Attacks: Filling the Gap Using Fault Model Inference. - Louis Dureuil; Marie-Laure Potet; Philippe de Choudens; Cécile Dumas; Jessy Clédière (CARDIS, 2015)

FISSC: A Fault Injection and Simulation Secure Collection. - Louis Dureuil; Guillaume Petiot; Marie-Laure Potet; Thanh-Ha Le; Aude Crohen; Philippe de Choudens (SAFECOMP, 2016)

Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute. (Code Analysis and Certification Process of Secure Hardware against Fault Injection). - Louis Dureuil (2016)