Verifying Software Vulnerabilities in IoT Cryptographic Protocols. - Fatimah Aljaafari; Lucas C. Cordeiro; Mustafa A. Mustafa (CoRR, 2020)

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)

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)

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)

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). - Fatimah Aljaafari; Fedor Shmarov; Edoardo Manino; Rafael Menezes; Lucas C. Cordeiro (TACAS (2), 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)

ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). - Chenfeng Wei; Tong Wu; Rafael Sá Menezes; Fedor Shmarov; Fatimah Aljaafari; Sangharatna Godboley; Kaled M. Alshmrany; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2025)