4 citations · 4 across the 4 of their papers we have counts for
4 papers
NIFuzz: Estimating Quantified Information Flow with a Fuzzer
Daniel Blackwell, Ingolf Becker, David Clark
This paper presents a scalable, practical approach to quantifying information leaks in software; these errors are often overlooked and downplayed, but can seriously compromise secu…
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…
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…
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…