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

Kaled Alshmrany, Rafael Menezes, Mikhail R Gadelha, Lucas Cordeiro

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

Original language	English
DOIs	https://doi.org/10.1007/978-3-030-71500-7_19
Publication status	Published - 2021

Access to Document

10.1007/978-3-030-71500-7_19

1 Finished
1 Active

EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Cordeiro, L. (PI), Brown, G. (CoI), Freitas, A. (CoI), Luján, M. (CoI) & Mustafa, M. (CoI)
1/02/21 → 31/12/25
Project: Research
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research

VeriBee: Source Code Security
Cordeiro, L. (Participant), Allmendinger, R. (Participant) & Alshmrany, K. (Participant)
Impact: Economic, Technological

Cite this