Nisrine Jafri

According to our database, Nisrine Jafri authored at least 7 papers between 2016 and 2020.

Collaborative distances:

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

2020

Combined software and hardware fault injection vulnerability detection.

Thomas Given-Wilson, Nisrine Jafri, Axel Legay

Innov. Syst. Softw. Eng., 2020

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

PhD thesis, 2019

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

2018

The State of Fault Injection Vulnerability Detection.

Thomas Given-Wilson, Nisrine Jafri, Axel Legay

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

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

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

2016

Vulnerability Prediction Against Fault Attacks.

Nisrine Jafri, Axel Legay, Jean-Louis Lanet

ERCIM News, 2016

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.

Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet

Proceedings of the Risks and Security of Internet and Systems, 2016