Fatimah Aljaafari

According to our database, Fatimah Aljaafari authored at least 6 papers between 2020 and 2023.

Collaborative distances:

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

2023

LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution).

Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro

CoRR, 2023

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro

CoRR, 2022

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.

Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro

IEEE Access, 2022

2021

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.

Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes

CoRR, 2021

2020

Verifying Software Vulnerabilities in IoT Cryptographic Protocols.

Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa

CoRR, 2020