Kaled Alshmrany

Search results

• 2023

  FuSeBMC IA: Interval Analysis and Methods for Test Case Generation (Competition Contribution)

  Aldughaim, M., Alshmrany, K. M., Gadelha, M. R., de Freitas, R. & Cordeiro, L. C., 4 Mar 2023, (Accepted/In press) FASE2023: 26th International Conference on Fundamental Approaches to Software Engineering.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Programs 100%
  • Fuzzing 100%
  • Abstract Interpretation 66%
  • Testing 33%
  • Invariants 33%
• 2022

  FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing

  Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 25 Jan 2022, (Accepted/In press) 25th International Conference on Fundamental Approaches to Software Engineering .

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Fuzzing 100%
  • Model Checking 66%
  • Records 33%
  • Programs 33%
  • Generation 33%

• Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities

  Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M. A., Olivier, P., Reger, G. & Shmarov, F., 30 Aug 2022, (Accepted/In press) IEEE Secure Development Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Vulnerabilities 100%
  • Hybrid Approach 100%
  • Protection 50%
  • Static Program Analysis 50%
  • Runtime Protection 50%
• 2021

  FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs

  Alshmrany, K., Menezes, R., Gadelha, M. R. & Cordeiro, L., 2021.

  Research output: Contribution to conference › Paper › peer-review

• FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

  Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 18 Jun 2021, TAP: International Conference on Tests and Proofs. Springer London, (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • C Program 100%
  • Fuzzing 75%
  • Lower Energy Consumption 50%
  • Security Vulnerability 50%
  • Detection 25%

• FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

  Alshmrany, K., Menezes, R. S., Gadelha, M. R. & Cordeiro, L., 20 Mar 2021, 24th International Conference on Fundamental Approaches to Software Engineering (FASE) .

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • C Program 100%
  • Model Checking 50%
  • Security Vulnerability 50%
  • Fuzzing 25%
  • Category Error 25%