69 citations · 71 across the 4 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2021★ 1 cited
FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
Andrea Fioraldi, Luigi Paolo Pileggi
Fuzz Testing techniques are the state of the art in software testing for security issues nowadays. Their great effectiveness attracted the attention of researchers and hackers and…
cs.CR2020★ 1 cited
Symbolic Execution and Debugging Synchronization
Andrea Fioraldi
In this thesis, we introduce the idea of combining symbolic execution with dynamic analysis for reverse engineering. Differently from DSE, we devise an approach where the reverse e…
cs.CR2019★ 69 cited
WEIZZ: Automatic Grey-box Fuzzing for Structured Binary Formats
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are how…