Follow
Kaled Alshmrany
Kaled Alshmrany
Institute of Public Administration (IPA)
Verified email at ipa.edu.sa - Homepage
Title
Cited by
Cited by
Year
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
332021
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
212022
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
182021
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
82023
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
42024
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
42022
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
42020
Finding security vulnerabilities in network protocol implementations
K Alshmrany, L Cordeiro
arXiv preprint arXiv:2001.09592, 2020
42020
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
22023
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
12023
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, ...
The system can't perform the operation now. Try again later.
Articles 1–13