kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. - Sergej Schumilo; Cornelius Aschermann; Robert Gawlik; Sebastian Schinzel; Thorsten Holz (USENIX Security Symposium, 2017)

REDQUEEN: Fuzzing with Input-to-State Correspondence. - Cornelius Aschermann; Sergej Schumilo; Tim Blazytko; Robert Gawlik; Thorsten Holz (NDSS, 2019)

GRIMOIRE: Synthesizing Structure while Fuzzing. - Tim Blazytko; Cornelius Aschermann; Moritz Schlögel; Ali Abbasi 002; Sergej Schumilo; Simon Wörner; Thorsten Holz (USENIX Security Symposium, 2019)

HYPER-CUBE: High-Dimensional Hypervisor Fuzzing. - Sergej Schumilo; Cornelius Aschermann; Ali Abbasi 002; Simon Wörner; Thorsten Holz (NDSS, 2020)

Ijon: Exploring Deep State Spaces via Fuzzing. - Cornelius Aschermann; Sergej Schumilo; Ali Abbasi 002; Thorsten Holz (SP, 2020)

Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types. - Sergej Schumilo; Cornelius Aschermann; Ali Abbasi 002; Simon Wörner; Thorsten Holz (USENIX Security Symposium, 2021)

Nyx-net: network fuzzing with incremental snapshots. - Sergej Schumilo; Cornelius Aschermann; Andrea Jemmett; Ali Abbasi 002; Thorsten Holz (EuroSys, 2022)

Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities. - Emre Güler; Sergej Schumilo; Moritz Schloegel; Nils Bars; Philipp Görz; Xinyi Xu; Cemal Kaygusuz; Thorsten Holz (USENIX Security Symposium, 2024)