Cornelius Aschermann

Google Scholar
12 publications in security and cryptology related venues
Year
Venue
Title
2022
conf/uss
Loki: Hardening Code Obfuscation Against Automated Attacks.
2021
conf/uss
Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types.
2020
conf/uss
AURORA: Statistical Crash Analysis for Automated Root Cause Explanation.
2020
conf/uss
ETHBMC: A Bounded Model Checker for Smart Contracts.
Joel Frank Cornelius Aschermann Thorsten Holz
2020
conf/ndss
HYPER-CUBE: High-Dimensional Hypervisor Fuzzing.
2019
conf/uss
AntiFuzz: Impeding Fuzzing Audits of Binary Executables.
Emre Güler Cornelius Aschermann Ali Abbasi Thorsten Holz
2019
conf/uss
GRIMOIRE: Synthesizing Structure while Fuzzing.
2019
conf/ndss
REDQUEEN: Fuzzing with Input-to-State Correspondence.
2019
conf/ndss
NAUTILUS: Fishing for Deep Bugs with Grammars.
2017
conf/uss
kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels.
2017
conf/uss
Syntia: Synthesizing the Semantics of Obfuscated Code.
Filters
Years:  to