Showing cs.SEShow all
3 papers · 1 filter
cs.SE2024
PrescientFuzz: A more effective exploration approach for grey-box fuzzing
Daniel Blackwell, David Clark
Since the advent of AFL, the use of mutational, feedback directed, grey-box fuzzers has become critical in the automated detection of security vulnerabilities. A great deal of rese…
cs.SE2023
Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
Daniel Blackwell, Ingolf Becker, David Clark
Information leakage is a class of error that can lead to severe consequences. However unlike other errors, it is rarely explicitly considered during the software testing process. L…
cs.SE2021
HyperGI: Automated Detection and Repair of Information Flow Leakage
Ibrahim Mesecan, Daniel Blackwell, David Clark +2
Maintaining confidential information control in software is a persistent security problem where failure means secrets can be revealed via program behaviors. Information flow contro…