A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. - Razika Lounas; Nisrine Jafri; Axel Legay; Mohamed Mezghiche; Jean-Louis Lanet (CRiSIS, 2016)

Vulnerability Prediction Against Fault Attacks. - Nisrine Jafri; Axel Legay; Jean-Louis Lanet (ERCIM News, 2016)

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. - Thomas Given-Wilson; Nisrine Jafri; Jean-Louis Lanet; Axel Legay (TrustCom/BigDataSE/ICESS, 2017)

The State of Fault Injection Vulnerability Detection. - Thomas Given-Wilson; Nisrine Jafri; Axel Legay (VECoS, 2018)

An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. - Thomas Given-Wilson; Annelie Heuser; Nisrine Jafri; Axel Legay (Concurr. Comput. Pract. Exp., 2019)

Formal fault injection vulnerability detection in binaries : a software process and hardware validation. (Détection formelle de vulnérabilité créée par injection de faute au niveau binaire : un processus logiciel et une validation matérielle). - Nisrine Jafri (2019)

Combined software and hardware fault injection vulnerability detection. - Thomas Given-Wilson; Nisrine Jafri; Axel Legay (Innov. Syst. Softw. Eng., 2020)