Cornelius Aschermann

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Piecewise Affine

Top Venues

USENIX Security Symposium

J. Autom. Reason.

Publications

Manish Bhatt, Sahana Chennabasappa, Yue Li, Cyrus Nikolaidis, Daniel Song, Shengye Wan, Faizan Ahmad, Cornelius Aschermann, Yaohui Chen, Dhaval Kapil, David Molnar, Spencer Whitman, Joshua Saxe
CyberSecEval 2: A Wide-Ranging Cybersecurity Evaluation Suite for Large Language Models. CoRR (2024)
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, Dhaval Kapil, Yiannis Kozyrakis, David LeBlanc, James Milazzo, Aleksandar Straumann, Gabriel Synnaeve, Varun Vontimitta, Spencer Whitman, Joshua Saxe
Purple Llama CyberSecEval: A Secure Coding Benchmark for Language Models. CoRR (2023)
Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, Thorsten Holz
Nyx-net: network fuzzing with incremental snapshots. EuroSys (2022)
Moritz Schlögel, Tim Blazytko, Moritz Contag, Cornelius Aschermann, Julius Basler, Thorsten Holz, Ali Abbasi
Loki: Hardening Code Obfuscation Against Automated Attacks. USENIX Security Symposium (2022)
Moritz Schlögel, Tim Blazytko, Moritz Contag, Cornelius Aschermann, Julius Basler, Thorsten Holz, Ali Abbasi
Loki: Hardening Code Obfuscation Against Automated Attacks. CoRR (2021)
Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, Thorsten Holz
Nyx-Net: Network Fuzzing with Incremental Snapshots. CoRR (2021)
Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner, Thorsten Holz
Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types. USENIX Security Symposium (2021)
Joel Frank, Cornelius Aschermann, Thorsten Holz
ETHBMC: A Bounded Model Checker for Smart Contracts. USENIX Security Symposium (2020)
Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner, Thorsten Holz
HYPER-CUBE: High-Dimensional Hypervisor Fuzzing. NDSS (2020)
Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, Thorsten Holz
Ijon: Exploring Deep State Spaces via Fuzzing. IEEE Symposium on Security and Privacy (2020)
Tim Blazytko, Moritz Schlögel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon Wörner, Thorsten Holz
AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. USENIX Security Symposium (2020)
Emre Güler, Cornelius Aschermann, Ali Abbasi, Thorsten Holz
AntiFuzz: Impeding Fuzzing Audits of Binary Executables. USENIX Security Symposium (2019)
Tim Blazytko, Cornelius Aschermann, Moritz Schlögel, Ali Abbasi, Sergej Schumilo, Simon Wörner, Thorsten Holz
GRIMOIRE: Synthesizing Structure while Fuzzing. USENIX Security Symposium (2019)
Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz, Patrick Jauernig, Ahmad-Reza Sadeghi, Daniel Teuchert
NAUTILUS: Fishing for Deep Bugs with Grammars. NDSS (2019)
Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, Thorsten Holz
REDQUEEN: Fuzzing with Input-to-State Correspondence. NDSS (2019)
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. J. Autom. Reason. 58 (1) (2017)
Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
Lower Bounds for Runtime Complexity of Term Rewriting. J. Autom. Reason. 59 (1) (2017)
Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, Thorsten Holz
kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. USENIX Security Symposium (2017)
Tim Blazytko, Moritz Contag, Cornelius Aschermann, Thorsten Holz
Syntia: Synthesizing the Semantics of Obfuscated Code. USENIX Security Symposium (2017)
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, René Thiemann
Analyzing Program Termination and Complexity Automatically with AProVE. J. Autom. Reason. 58 (1) (2017)
Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
Inferring Lower Bounds for Runtime Complexity. RTA (2015)
Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl
AProVE: Termination and Memory Safety of C Programs - (Competition Contribution). TACAS (2015)