Nisrine Jafri
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Combined software and hardware fault injection vulnerability detection
Thomas Given-Wilson and others (2020) · Springer Science and Business Media LLC
Formal fault injection vulnerability detection in binaries: a software process and hardware validation
Nisrine Jafri (2019)
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
Thomas Given-Wilson and others (2018) · Concurrency and Computation Practice and Experience · Wiley
The State of Fault Injection Vulnerability Detection
Thomas Given-Wilson and others (2018) · Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
Thomas Given-Wilson and others (2017) · 2017 IEEE Trustcom/BigDataSE/ICESS · IEEE
Vulnerability Prediction Against Fault Attacks
Nisrine Jafri and others (2016) · ERCIM News (2016).