Inferring Lower Bounds for Runtime Complexity. - Florian Frohn; Jürgen Giesl; Jera Hensel; Cornelius Aschermann; Thomas Ströder (RTA, 2015)

AProVE: Termination and Memory Safety of C Programs - (Competition Contribution). - Thomas Ströder; Cornelius Aschermann; Florian Frohn; Jera Hensel; Jürgen Giesl (TACAS, 2015)

Syntia: Synthesizing the Semantics of Obfuscated Code. - Tim Blazytko; Moritz Contag; Cornelius Aschermann; Thorsten Holz (USENIX Security Symposium, 2017)

kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. - Sergej Schumilo; Cornelius Aschermann; Robert Gawlik; Sebastian Schinzel; Thorsten Holz (USENIX Security Symposium, 2017)

Lower Bounds for Runtime Complexity of Term Rewriting. - Florian Frohn; Jürgen Giesl; Jera Hensel; Cornelius Aschermann; Thomas Ströder (J. Autom. Reason., 2017)

Analyzing Program Termination and Complexity Automatically with AProVE. - Jürgen Giesl; Cornelius Aschermann; Marc Brockschmidt; Fabian Emmes; Florian Frohn; Carsten Fuhs; Jera Hensel; Carsten Otto; Martin Plücker; Peter Schneider-Kamp; Thomas Ströder; Stephanie Swiderski; et al. (J. Autom. Reason., 2017)

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. - Thomas Ströder; Jürgen Giesl; Marc Brockschmidt; Florian Frohn; Carsten Fuhs; Jera Hensel; Peter Schneider-Kamp; Cornelius Aschermann (J. Autom. Reason., 2017)

NAUTILUS: Fishing for Deep Bugs with Grammars. - Cornelius Aschermann; Tommaso Frassetto; Thorsten Holz; Patrick Jauernig; Ahmad-Reza Sadeghi; Daniel Teuchert (NDSS, 2019)

REDQUEEN: Fuzzing with Input-to-State Correspondence. - Cornelius Aschermann; Sergej Schumilo; Tim Blazytko; Robert Gawlik; Thorsten Holz (NDSS, 2019)

GRIMOIRE: Synthesizing Structure while Fuzzing. - Tim Blazytko; Cornelius Aschermann; Moritz Schlögel; Ali Abbasi 002; Sergej Schumilo; Simon Wörner; Thorsten Holz (USENIX Security Symposium, 2019)

AntiFuzz: Impeding Fuzzing Audits of Binary Executables. - Emre Güler; Cornelius Aschermann; Ali Abbasi 002; Thorsten Holz (USENIX Security Symposium, 2019)

HYPER-CUBE: High-Dimensional Hypervisor Fuzzing. - Sergej Schumilo; Cornelius Aschermann; Ali Abbasi 002; Simon Wörner; Thorsten Holz (NDSS, 2020)

Ijon: Exploring Deep State Spaces via Fuzzing. - Cornelius Aschermann; Sergej Schumilo; Ali Abbasi 002; Thorsten Holz (SP, 2020)

AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. - Tim Blazytko; Moritz Schlögel; Cornelius Aschermann; Ali Abbasi 002; Joel Frank; Simon Wörner; Thorsten Holz (USENIX Security Symposium, 2020)

ETHBMC: A Bounded Model Checker for Smart Contracts. - Joel Frank; Cornelius Aschermann; Thorsten Holz (USENIX Security Symposium, 2020)

Algorithmic improvements for feedback-driven fuzzing. - Cornelius Aschermann (2020)

Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types. - Sergej Schumilo; Cornelius Aschermann; Ali Abbasi 002; Simon Wörner; Thorsten Holz (USENIX Security Symposium, 2021)

Nyx-net: network fuzzing with incremental snapshots. - Sergej Schumilo; Cornelius Aschermann; Andrea Jemmett; Ali Abbasi 002; Thorsten Holz (EuroSys, 2022)

Loki: Hardening Code Obfuscation Against Automated Attacks. - Moritz Schloegel; Tim Blazytko; Moritz Contag; Cornelius Aschermann; Julius Basler; Thorsten Holz; Ali Abbasi 002 (USENIX Security Symposium, 2022)

Purple Llama CyberSecEval: A Secure Coding Benchmark for Language Models. - Manish Bhatt; Sahana Chennabasappa; Cyrus Nikolaidis; Shengye Wan; Ivan Evtimov; Dominik Gabi; Daniel Song; Faizan Ahmad; Cornelius Aschermann; Lorenzo Fontana; Sasha Frolov; Ravi Prakash Giri; et al. (CoRR, 2023)

CyberSecEval 2: A Wide-Ranging Cybersecurity Evaluation Suite for Large Language Models. - Manish Bhatt; Sahana Chennabasappa; Yue Li; Cyrus Nikolaidis; Daniel Song; Shengye Wan; Faizan Ahmad; Cornelius Aschermann; Yaohui Chen; Dhaval Kapil; David Molnar; Spencer Whitman; et al. (CoRR, 2024)