FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro International Conference On Tests And Proofs, 85-105, 2021 | 33 | 2021 |
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: (Competition Contribution) KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro International Conference On Fundamental Approaches To Software Engineering …, 2022 | 21 | 2022 |
FuSeBMC: A white-box fuzzer for finding security vulnerabilities in C programs (competition contribution) KM Alshmrany, RS Menezes, MR Gadelha, LC Cordeiro International Conference on Fundamental Approaches to Software Engineering …, 2021 | 18 | 2021 |
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution) M Aldughaim, KM Alshmrany, MR Gadelha, R de Freitas, LC Cordeiro International Conference on Fundamental Approaches to Software Engineering …, 2023 | 8 | 2023 |
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis K Alshmrany, M Aldughaim, A Bhayat, L Cordeiro Formal Aspects of Computing, 2024 | 4 | 2024 |
Position paper: Towards a hybrid approach to protect against memory safety vulnerabilities K Alshmrany, A Bhayat, F Brauße, L Cordeiro, K Korovin, T Melham, ... 2022 IEEE Secure Development Conference (SecDev), 52-58, 2022 | 4 | 2022 |
Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors M Aldughaim, K Alshmrany, R Menezes, L Cordeiro, A Stancu arXiv preprint arXiv:2012.11245, 2020 | 4 | 2020 |
Finding security vulnerabilities in network protocol implementations K Alshmrany, L Cordeiro arXiv preprint arXiv:2001.09592, 2020 | 4 | 2020 |
FuSeBMC IA: Interval analysis and methods for test case generation M Aldughaim, KM Alshmrany, MR Gadelha, R de Freitas, LC Cordeiro Fundamental Approaches to Software Engineering, 324-329, 2023 | 2 | 2023 |
Towards a hybrid approach to protect against memory safety vulnerabilities A Bhayat, L Cordeiro, G Reger, F Shmarov, K Korovin, T Melham, ... Authorea Preprints, 2023 | 1 | 2023 |
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning KM Alshmrany, M Aldughaim, C Wei, T Sweet, R Allmendinger, ... arXiv preprint arXiv:2404.06031, 2024 | | 2024 |
Efficient hybrid fuzzing for detecting vulnerabilities and achieving high coverage in software K Alshmrany PQDT-UK & Ireland, 2023 | | 2023 |
Williams, Laurie 69 Xiao, Ya 61 Yao, Danfeng 61, 77 Yasar, Hasan 5 Y Zhao, N Allen, K Alshmrany, S Andreina, N Asokan, P Bajpai, SK Basak, ... | | |