On Measuring and Visualizing Fuzzer Performance August, 2020 A critique on how we evaluate fuzzer and a proposal for a better metric.
Aurora July, 2020 Aurora automatically identifies the root cause of bugs found via fuzzing. Published at USENIX Security 2020
EthBMC July, 2020 A bounded model checker for smart contracts, that can steal money. Published at USENIX Security 2020
Ijon July, 2020 Allows the user to guide the fuzzer through the state space of the target program. Published at Oakland S&P 2020
Incorrectness Logic by Example April, 2020 Understanding Incorrectness Logic for program analysis with lots of examples.
Antifuzz July, 2019 Investigate weak points in current fuzzers to protect software from fully automatic fuzzing. Published at USENIX Security 2019
