USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 8 results:
Filters: Author is Cornelius Aschermann [Clear All Filters]
Loki: Hardening Code Obfuscation Against Automated Attacks. 31st USENIX Security Symposium (USENIX Security 22). :3055--3073.
.
2022. Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types. 30th USENIX Security Symposium (USENIX Security 21). :2597--2614.
.
2021. AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. 29th USENIX Security Symposium (USENIX Security 20). :235--252.
.
2020. ETHBMC: A Bounded Model Checker for Smart Contracts. 29th USENIX Security Symposium (USENIX Security 20). :2757--2774.
.
2020. AntiFuzz: Impeding Fuzzing Audits of Binary Executables. 28th USENIX Security Symposium (USENIX Security 19). :1931--1947.
.
2019. GRIMOIRE: Synthesizing Structure while Fuzzing. 28th USENIX Security Symposium (USENIX Security 19). :1985--2002.
.
2019. kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. 26th USENIX Security Symposium (USENIX Security 17). :167--182.
.
2017. Syntia: Synthesizing the Semantics of Obfuscated Code. 26th USENIX Security Symposium (USENIX Security 17). :643--659.
.
2017.