Finding Security Vulnerabilities in Network Protocol Implementations. - Kaled M. Alshmrany; Lucas C. Cordeiro (CoRR, 2020)

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs. - Kaled M. Alshmrany; Rafael S. Menezes; Mikhail R. Gadelha; Lucas C. Cordeiro (CoRR, 2020)

Bounded Model Checking of Software Using Interval Methods via Contractors. - Mohannad Aldughaim; Kaled M. Alshmrany; Mohamed Mustafa; Lucas C. Cordeiro; Alexandru Stancu (CoRR, 2020)

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). - Kaled M. Alshmrany; Rafael S. Menezes; Mikhail R. Gadelha; Lucas C. Cordeiro (FASE, 2021)

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (TAP@STAF, 2021)

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (CoRR, 2021)

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (FASE, 2022)

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. - Kaled M. Alshmrany; Ahmed Bhayat; Franz Brauße; Lucas C. Cordeiro; Konstantin Korovin; Tom Melham; Mustafa A. Mustafa; Pierre Olivier; Giles Reger; Fedor Shmarov (SecDev, 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)

FuSeBMC v.5: Interval Analysis and Methods for Test Case Generation. - Mohannad Aldughaim; Kaled M. Alshmrany; Mikhail R. Gadelha; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). - Mohannad Aldughaim; Kaled M. Alshmrany; Mikhail R. Gadelha; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2023)

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning. - Kaled M. Alshmrany; Mohannad Aldughaim; Chenfeng Wei; Tom Sweet; Richard Allmendinger 001; Lucas C. Cordeiro (CoRR, 2024)

FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (Formal Aspects Comput., 2024)

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)