Nisrine Jafri
According to our database1,
Nisrine Jafri
authored at least 7 papers
between 2016 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
0
1
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
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).
PhD thesis, 2019
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries.
Concurr. Comput. Pract. Exp., 2019
2018
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.
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
2016
Proceedings of the Risks and Security of Internet and Systems, 2016