@inproceedings {281380, author = {Moritz Schloegel and Tim Blazytko and Moritz Contag and Cornelius Aschermann and Julius Basler and Thorsten Holz and Ali Abbasi}, title = {Loki: Hardening Code Obfuscation Against Automated Attacks}, booktitle = {31st USENIX Security Symposium (USENIX Security 22)}, year = {2022}, isbn = {978-1-939133-31-1}, address = {Boston, MA}, pages = {3055--3073}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/schloegel}, publisher = {USENIX Association}, month = aug } @inproceedings {263866, author = {Sergej Schumilo and Cornelius Aschermann and Ali Abbasi and Simon W{\"o}r-ner and Thorsten Holz}, title = {Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types}, booktitle = {30th USENIX Security Symposium (USENIX Security 21)}, year = {2021}, isbn = {978-1-939133-24-3}, pages = {2597--2614}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/schumilo}, publisher = {USENIX Association}, month = aug } @inproceedings {251598, author = {Tim Blazytko and Moritz Schl{\"o}gel and Cornelius Aschermann and Ali Abbasi and Joel Frank and Simon W{\"o}rner and Thorsten Holz}, title = {{AURORA}: Statistical Crash Analysis for Automated Root Cause Explanation}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {235--252}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/blazytko}, publisher = {USENIX Association}, month = aug } @inproceedings {251546, author = {Joel Frank and Cornelius Aschermann and Thorsten Holz}, title = {{ETHBMC}: A Bounded Model Checker for Smart Contracts}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {2757--2774}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/frank}, publisher = {USENIX Association}, month = aug } @inproceedings {235499, author = {Emre G{\"u}ler and Cornelius Aschermann and Ali Abbasi and Thorsten Holz}, title = {{AntiFuzz}: Impeding Fuzzing Audits of Binary Executables}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1931--1947}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/guler}, publisher = {USENIX Association}, month = aug } @inproceedings {236210, author = {Tim Blazytko and Cornelius Aschermann and Moritz Schl{\"o}gel and Ali Abbasi and Sergej Schumilo and Simon W{\"o}rner and Thorsten Holz}, title = {{GRIMOIRE}: Synthesizing Structure while Fuzzing}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1985--2002}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/blazytko}, publisher = {USENIX Association}, month = aug } @inproceedings {203848, author = {Sergej Schumilo and Cornelius Aschermann and Robert Gawlik and Sebastian Schinzel and Thorsten Holz}, title = {{kAFL}: {Hardware-Assisted} Feedback Fuzzing for {OS} Kernels}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {167--182}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/schumilo}, publisher = {USENIX Association}, month = aug } @inproceedings {203640, author = {Tim Blazytko and Moritz Contag and Cornelius Aschermann and Thorsten Holz}, title = {Syntia: Synthesizing the Semantics of Obfuscated Code}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {643--659}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/blazytko}, publisher = {USENIX Association}, month = aug }