Cornelius Aschermann
Institution: Ruhr-Universität Bochum
E-Mail: cornelius.aschermann@ruhr-uni-bochum.de
Twitter: @is_eqv
Publications:
Loki: Hardening Code Obfuscation Against Automated Attacks NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types IJON: Exploring Deep State Spaces via Fuzzing HYPER-CUBE: High-Dimensional Hypervisor Fuzzing ETHBMC: A Bounded Model Checker for Smart Contracts GRIMOIRE: Synthesizing Structure while Fuzzing ANTIFUZZ: Impeding Fuzzing Audits of Binary Executables