Getting Started with DDlog October, 2020 Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust.
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.