Cornelius Aschermann

23 papers A* 12A 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
CyberSecEval 2: A Wide-Ranging Cybersecurity Evaluation Suite for Large Language Models.
CoRR
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
2023 J jnl
Purple Llama CyberSecEval: A Secure Coding Benchmark for Language Models.
CoRR
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
2022 A* conf
Loki: Hardening Code Obfuscation Against Automated Attacks.
USENIX Security Symposium
Moritz Schloegel, Tim Blazytko, Moritz Contag, Cornelius Aschermann, Julius Basler, Thorsten Holz, Ali Abbasi
2022 A conf
Nyx-net: network fuzzing with incremental snapshots.
EuroSys
Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, Thorsten Holz
2021 J jnl
Loki: Hardening Code Obfuscation Against Automated Attacks.
CoRR
Moritz Schloegel, Tim Blazytko, Moritz Contag, Cornelius Aschermann, Julius Basler, Thorsten Holz, Ali Abbasi
2021 J jnl
Nyx-Net: Network Fuzzing with Incremental Snapshots.
CoRR
Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, Thorsten Holz
2021 A* conf
Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types.
USENIX Security Symposium
Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner, Thorsten Holz
2020 A* conf
AURORA: Statistical Crash Analysis for Automated Root Cause Explanation.
USENIX Security Symposium
Tim Blazytko, Moritz Schlögel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon Wörner, Thorsten Holz
2020 — —
Algorithmic improvements for feedback-driven fuzzing.
Cornelius Aschermann
2020 A* conf
ETHBMC: A Bounded Model Checker for Smart Contracts.
USENIX Security Symposium
Joel Frank, Cornelius Aschermann, Thorsten Holz
2020 A* conf
HYPER-CUBE: High-Dimensional Hypervisor Fuzzing.
NDSS
Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner, Thorsten Holz
2020 A* conf
Ijon: Exploring Deep State Spaces via Fuzzing.
SP
Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, Thorsten Holz
2019 A* conf
AntiFuzz: Impeding Fuzzing Audits of Binary Executables.
USENIX Security Symposium
Emre Güler, Cornelius Aschermann, Ali Abbasi, Thorsten Holz
2019 A* conf
GRIMOIRE: Synthesizing Structure while Fuzzing.
USENIX Security Symposium
Tim Blazytko, Cornelius Aschermann, Moritz Schlögel, Ali Abbasi, Sergej Schumilo, Simon Wörner, Thorsten Holz
2019 A* conf
NAUTILUS: Fishing for Deep Bugs with Grammars.
NDSS
Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz, Patrick Jauernig, Ahmad-Reza Sadeghi, Daniel Teuchert
2019 A* conf
REDQUEEN: Fuzzing with Input-to-State Correspondence.
NDSS
Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, Thorsten Holz
2017 J jnl
Analyzing Program Termination and Complexity Automatically with AProVE.
J. Autom. Reason.
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
2017 J jnl
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
J. Autom. Reason.
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
2017 J jnl
Lower Bounds for Runtime Complexity of Term Rewriting.
J. Autom. Reason.
Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
2017 A* conf
Syntia: Synthesizing the Semantics of Obfuscated Code.
USENIX Security Symposium
Tim Blazytko, Moritz Contag, Cornelius Aschermann, Thorsten Holz
2017 A* conf
kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels.
USENIX Security Symposium
Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, Thorsten Holz
2015 A conf
AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).
TACAS
Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl
2015 — conf
Inferring Lower Bounds for Runtime Complexity.
RTA
Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder