Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust.

Aurora

Aurora automatically identifies the root cause of bugs found via fuzzing. Published at USENIX Security 2020

EthBMC

A bounded model checker for smart contracts, that can steal money. Published at USENIX Security 2020

Ijon

Allows the user to guide the fuzzer through the state space of the target program. Published at Oakland S&P 2020

HotFuzz

Talking about our research on fuzzing and future research areas.

Cornelius Aschermann

Fuzzing, Reverse Engineering, Binary Analysis

Security Researcher

Germany