Get started
Author

Kaled M. Alshmrany

Observed names: , Alshmrany, Alshmrany, Kaled, Alshmrany, Kaled M., Kaled Alshmrany
Observed institutions: International Islamic University, Islamabad, Taif University, University of Manchester, Institute of Public Administration, Fatima Jinnah Women University, National Yunlin University of Science and Technology
ORCID: 0000-0002-5822-5435
Observed ORCID: 0000-0002-5822-5435
OpenAlex ID: A5019270269
A hybrid explainable federated-based vision transformer framework for breast cancer prediction via risk factors
2025 · Aymen M. Al-Hejri, Archana Harsing Sable, et al. · Scientific Reports · 53
PDF
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
2021 · Kaled M. Alshmrany, Mohannad Aldughaim, et al. · Lecture notes in computer science · 32
A hybrid vision transformer with ensemble CNN framework for cervical cancer diagnosis
2025 · Aymen M. Al-Hejri, Riyadh M. Al-Tam, et al. · BMC Medical Informatics and Decision Making · 29
PDF
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing
2022 · Kaled M. Alshmrany, Mohannad Aldughaim, et al. · Lecture notes in computer science · 20
PDF
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
2021 · Kaled M. Alshmrany, Rafael S. Menezes, et al. · Lecture notes in computer science · 14
PDF
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis
2024 · Kaled Alshmrany, Mohannad Aldughaim, et al. · Formal Aspects of Computing · 10
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation
2023 · Mohannad Aldughaim, Kaled M. Alshmrany, et al. · Lecture notes in computer science · 10
PDF
Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors
2020 · Aldughaim, Mohannad, Alshmrany, Kaled, et al. · arXiv (Cornell University) · 8
PDF
Design of Chaos Induced Aquila Optimizer for Parameter Estimation of Electro-Hydraulic Control System
2025 · Khizer Mehmood, Naveed Ishtiaq Chaudhary, et al. · Computer Modeling in Engineering & Sciences · 7
PDF
Enhancement of cryptography algorithms for security of cloud-based IoT with machine learning models
2026 · Mohammed Ali Qasem, Bokare Madhav Motiram, et al. · Scientific Reports · 4
PDF
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
2020 · Alshmrany, Kaled M., Menezes, Rafael S., et al. · Research Explorer (The University of Manchester) · 4
PDF
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving
2025 · Chenfeng Wei, Tong Wu, et al. · Lecture notes in computer science · 3
PDF
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
2022 · Kaled Alshmrany, Ahmed Bhayat, et al. · IEEE Secure Development Conference (SecDev) · 3
PDF
Finding Security Vulnerabilities in Network Protocol Implementations
2020 · Alshmrany, Kaled, Cordeiro, Lucas · arXiv (Cornell University) · 3
PDF
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
2024 · Alshmrany, Kaled M., Aldughaim, Mohannad, et al. · arXiv (Cornell University) · 1
PDF
Improving IoT security through an explainable hybrid CNN-transformer model and federated learning
2026 · Aymen M. Al-Hejri, Riyadh M. Al-Tam, et al. · Scientific Reports
PDF
FC-FTCP: a lightweight fault-tolerant clustering protocol for secure IoT data transmission
2026 · M. Jalasri, Mageshkumar Nagappan, et al. · Scientific Reports
PDF
FuSeBMC Test-Comp 2026
2025 · Alshmrany, Kaled · Zenodo (CERN European Organization for Nuclear Research)
Efficient Hybrid Fuzzing for Detecting Vulnerabilities and Achieving High Coverage in Software
2023 · Alshmrany, Kaled · Research Explorer (The University of Manchester)
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
2021 · , Alshmrany · Zenodo (CERN European Organization for Nuclear Research)
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs
2021 · Kaled M. Alshmrany, Mohannad Aldughaim, et al.
Bounded Model Checking of Software Using Interval Methods via Contractors.
2020 · Mohannad Aldughaim, Kaled M. Alshmrany, et al. · arXiv (Cornell University)
Works count: 30
Citation count: 202
H-index: 8
I10-index: 7
Year
Topic
Type