Biblio

Export 8 results:
Filters: Author is Cornelius Aschermann  [Clear All Filters]
2022
Schloegel M, Blazytko T, Contag M, Aschermann C, Basler J, Holz T, Abbasi A.  2022.  Loki: Hardening Code Obfuscation Against Automated Attacks. 31st USENIX Security Symposium (USENIX Security 22). :3055--3073.
2021
Schumilo S, Aschermann C, Abbasi A, Wör­ner S, Holz T.  2021.  Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types. 30th USENIX Security Symposium (USENIX Security 21). :2597--2614.
2020
Blazytko T, Schlögel M, Aschermann C, Abbasi A, Frank J, Wörner S, Holz T.  2020.  AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. 29th USENIX Security Symposium (USENIX Security 20). :235--252.
Frank J, Aschermann C, Holz T.  2020.  ETHBMC: A Bounded Model Checker for Smart Contracts. 29th USENIX Security Symposium (USENIX Security 20). :2757--2774.
2019
Güler E, Aschermann C, Abbasi A, Holz T.  2019.  AntiFuzz: Impeding Fuzzing Audits of Binary Executables. 28th USENIX Security Symposium (USENIX Security 19). :1931--1947.
Blazytko T, Aschermann C, Schlögel M, Abbasi A, Schumilo S, Wörner S, Holz T.  2019.  GRIMOIRE: Synthesizing Structure while Fuzzing. 28th USENIX Security Symposium (USENIX Security 19). :1985--2002.
2017
Schumilo S, Aschermann C, Gawlik R, Schinzel S, Holz T.  2017.  kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. 26th USENIX Security Symposium (USENIX Security 17). :167--182.
Blazytko T, Contag M, Aschermann C, Holz T.  2017.  Syntia: Synthesizing the Semantics of Obfuscated Code. 26th USENIX Security Symposium (USENIX Security 17). :643--659.