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