Cornelius Aschermann

According to our database, Cornelius Aschermann authored at least 21 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, Joshua Saxe

CoRR, 2024

2023

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, Dhaval Kapil, Yiannis Kozyrakis, David LeBlanc, James Milazzo, Aleksandar Straumann, Gabriel Synnaeve, Varun Vontimitta, Spencer Whitman, Joshua Saxe

CoRR, 2023

2022

Loki: Hardening Code Obfuscation Against Automated Attacks.

Moritz Schloegel, Tim Blazytko, Moritz Contag, Cornelius Aschermann, Julius Basler, Thorsten Holz, Ali Abbasi

Proceedings of the 31st USENIX Security Symposium, 2022

Nyx-net: network fuzzing with incremental snapshots.

Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, Thorsten Holz

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

2021

Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types.

Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner, Thorsten Holz

Proceedings of the 30th USENIX Security Symposium, 2021

2020

Algorithmic improvements for feedback-driven fuzzing.

Cornelius Aschermann

PhD thesis, 2020

ETHBMC: A Bounded Model Checker for Smart Contracts.

Joel Frank, Cornelius Aschermann, Thorsten Holz

Proceedings of the 29th USENIX Security Symposium, 2020

AURORA: Statistical Crash Analysis for Automated Root Cause Explanation.

Tim Blazytko, Moritz Schlögel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon Wörner, Thorsten Holz

Proceedings of the 29th USENIX Security Symposium, 2020

Ijon: Exploring Deep State Spaces via Fuzzing.

Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, Thorsten Holz

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

HYPER-CUBE: High-Dimensional Hypervisor Fuzzing.

Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner, Thorsten Holz

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019

AntiFuzz: Impeding Fuzzing Audits of Binary Executables.

Emre Güler, Cornelius Aschermann, Ali Abbasi, Thorsten Holz

Proceedings of the 28th USENIX Security Symposium, 2019

GRIMOIRE: Synthesizing Structure while Fuzzing.

Tim Blazytko, Cornelius Aschermann, Moritz Schlögel, Ali Abbasi, Sergej Schumilo, Simon Wörner, Thorsten Holz

Proceedings of the 28th USENIX Security Symposium, 2019

REDQUEEN: Fuzzing with Input-to-State Correspondence.

Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, Thorsten Holz

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

NAUTILUS: Fishing for Deep Bugs with Grammars.

Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz, Patrick Jauernig, Ahmad-Reza Sadeghi, Daniel Teuchert

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

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

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, René Thiemann

J. Autom. Reason., 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

kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels.

Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, Thorsten Holz

Proceedings of the 26th USENIX Security Symposium, 2017

Syntia: Synthesizing the Semantics of Obfuscated Code.

Tim Blazytko, Moritz Contag, Cornelius Aschermann, Thorsten Holz

Proceedings of the 26th USENIX Security Symposium, 2017

2015

AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).

Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Inferring Lower Bounds for Runtime Complexity.

Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015