Github Projects

A selected list of my open source projects published on github.

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


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


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


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

Fast Cov

A fast binary coverage measurement tool based on AFL’s Qemu mode


Automatically infer grammar like fragments during normal feedback fuzzing to improve test coverage. Published at USENIX Security 2019.

Cornelius Aschermann

Fuzzing, Reverse Engineering, Binary Analysis

Security Researcher