Research Papers

kAFL a research project developed at Ruhr University Bochum by Sergej Schumilo and Cornelius Aschermann and funded by IntelLabs.

Related papers 📚

• kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels (2017)

  • Paper

  • Slides

  • Talk

• REDQUEEN: Fuzzing with Input-to-State Correspondence (2019)

  • Paper

  • Slides

  • Talk

• NAUTILUS: Fishing for Deep Bugs with Grammars (2019)

  • Paper

  • Slides

  • Talk

• GRIMOIRE: Synthesizing Structure while Fuzzing (2019)

  • Paper

  • Slides

  • Talk

• IJON: Exploring Deep State Spaces via Fuzzing (2020)

  • Paper

  • Slides

  • Talk

• HYPER-CUBE: High-Dimensional Hypervisor Fuzzing (2020)

  • Paper

  • Slides

  • Talk

• Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types (2021)

  • Paper

  • Slides

  • Talk

• Nyx-Net: Network Fuzzing with Incremental Snapshots (2021)

  • Paper

  • Slides