Concepedia

Cornelius Aschermann

CA

Statistics

Publications

17

Citations

1.3K

H-Index

14

Active since

2016

Affiliations

Ruhr University Bochum(Current)

RWTH Aachen University

FH Münster

University of Southern Denmark

Microsoft Research (United Kingdom)

Cornelius Aschermann is an author at Ruhr University Bochum specializing in engineering, software analysis, and computer science.

Top concepts

Publications per year

2016–2023

17

Publications

17

REDQUEEN: Fuzzing with Input-to-State Correspondence

Cornelius Aschermann, Sergej Schumilo, Tim Blazytko et al. · 2019 · 304 citations · Full text

NAUTILUS: Fishing for Deep Bugs with Grammars

Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz et al. · 2019 · 177 citations · Full text

kAFL: Hardware-Assisted Feedback Fuzzing for {OS} Kernels

Sergej Schumilo, Cornelius Aschermann, Robert Gawlik et al. · USENIX Security Symposium · 2017 · 175 citations

, , +9

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 124 citations · Full text

, , +10

Ijon: Exploring Deep State Spaces via Fuzzing

Cornelius Aschermann, Sergej Schumilo, Ali Abbasi et al. · 2020 · 117 citations · Full text

, , +17

1–5 of 17