Nisrine Jafri

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 6

Top Topics

Formal Verification

Countermeasures

Terrorist Attacks

Top Venues

Innov. Syst. Softw. Eng.

Concurr. Comput. Pract. Exp.

TrustCom/BigDataSE/ICESS

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Thomas Given-Wilson, Nisrine Jafri, Axel Legay
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16 (2) (2020)
Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Axel Legay
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurr. Comput. Pract. Exp. 31 (23) (2019)
Thomas Given-Wilson, Nisrine Jafri, Axel Legay
The State of Fault Injection Vulnerability Detection. VECoS (2018)
Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. TrustCom/BigDataSE/ICESS (2017)
Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS (2016)
Nisrine Jafri, Axel Legay, Jean-Louis Lanet
Vulnerability Prediction Against Fault Attacks. ERCIM News 2016 (106) (2016)