3 papers
cs.CR2021
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Roberto Natella, Van-Thuan Pham
We present a new benchmark (ProFuzzBench) for stateful fuzzing of network protocols. The benchmark includes a suite of representative open-source network servers for popular protoc…
cs.SE2019
Human-In-The-Loop Automatic Program Repair
Marcel Böhme, Charaka Geethal, Van-Thuan Pham
We introduce Learn2fix, the first human-in-the-loop, semi-automatic repair technique when no bug oracle--except for the user who is reporting the bug--is available. Our approach ne…
cs.CR2018
Smart Greybox Fuzzing
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa +2
Coverage-based greybox fuzzing (CGF) is one of the most successful methods for automated vulnerability detection. Given a seed file (as a sequence of bits), CGF randomly flips, del…