Fatimah Aljaafari

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Static Analysis

Symbolic Execution

Software Systems

Cryptographic Protocols

Top Venues

Publications

Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR (2023)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). TACAS (2) (2023)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis. CoRR (2022)
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. CoRR (2021)
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
Verifying Software Vulnerabilities in IoT Cryptographic Protocols. CoRR (2020)