Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , and . CoRR, (2020)FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing., , , and . CoRR, (2021)FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs., , , and . TAP@STAF, volume 12740 of Lecture Notes in Computer Science, page 85-105. Springer, (2021)FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis., , , , , and . CoRR, (2022)Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities., , , , , , , , , and . SecDev, page 52-58. IEEE, (2022)Bounded Model Checking of Software Using Interval Methods via Contractors., , , , and . CoRR, (2020)Finding Security Vulnerabilities in Network Protocol Implementations., and . CoRR, (2020)FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution)., , , and . FASE, volume 13241 of Lecture Notes in Computer Science, page 336-340. Springer, (2022)FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution)., , , , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 324-329. Springer, (2023)FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)., , , and . FASE, volume 12649 of Lecture Notes in Computer Science, page 363-367. Springer, (2021)