Computer Science Mercury Talk
| Dates: | 31 March 2021 |
|---|
| Times: | 14:00 - 15:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Computer Science |
|---|
| Who is it for: | University staff, Adults, Current University students |
|---|
| Speaker: | Kaled Alshmrany |
|---|
|
Join us for the next Computer Science Mercury Talk (online):
https://zoom.us/j/98440686007
Speaker: Kaled Alshmrany
Host: Lucas Cordeiro
Title:
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Abstract:
We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find security vulnerabilities in C programs. FuSeBMC explores and analyzes C programs (1) to find execution paths that lead to property violations and (2) to incrementally inject labels to guide the fuzzer and the BMC engine to produce test-cases for code coverage. FuSeBMC successfully participates in Test-Comp’21 and achieves first place in the Cover-Error category and second place in the Overall category.
The link of the paper:
https://ssvlab.github.io/lucasccordeiro/papers/fase2021.pdf
Speaker
Kaled Alshmrany
Role: PhD student
Organisation: University of Manchester
Travel and Contact Information
Find event
https://zoom.us/j/98440686007
