diff --git a/README.md b/README.md index 2a25f447..1e36ecbe 100644 --- a/README.md +++ b/README.md @@ -109,40 +109,11 @@ Other targets are available such as: A improved documentation is under work for these targets. -## Research - -kAFL a research project developed at [Ruhr University Bochum](https://www.ruhr-uni-bochum.de/en) by [Sergej Schumilo](https://schumilo.de/) and [Cornelius Aschermann](https://hexgolems.com/) and funded by [IntelLabs](https://www.intel.com/content/www/us/en/research/overview.html). - -[Related papers](https://nyx-fuzz.com/papers/) 📚 - -- kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels (2017) - - [Paper](https://nyx-fuzz.com/papers/kafl.pdf) - - [Slides](https://nyx-fuzz.com/papers/kafl_slides.pdf) - - [Talk](https://www.youtube.com/watch?v=gZ808d7rQYU) -- REDQUEEN: Fuzzing with Input-to-State Correspondence (2019) - - [Paper](https://nyx-fuzz.com/papers/redqueen.pdf) - - [Slides](https://nyx-fuzz.com/papers/redqueen_slides.pdf) - - [Talk](https://www.youtube.com/watch?v=9JpanJ29r_U) -- NAUTILUS: Fishing for Deep Bugs with Grammars (2019) - - [Paper](https://nyx-fuzz.com/papers/nautilus.pdf) - - [Slides](https://nyx-fuzz.com/papers/nautilus_slides.pdf) - - [Talk](https://www.youtube.com/watch?v=z0rpN_hxdnA) -- GRIMOIRE: Synthesizing Structure while Fuzzing (2019) - - [Paper](https://nyx-fuzz.com/papers/grimoire.pdf) - - [Slides](https://nyx-fuzz.com/papers/grimoire_slides.pdf) - - [Talk](https://www.youtube.com/watch?v=VF9YcAnzMPI) -- IJON: Exploring Deep State Spaces via Fuzzing (2020) - - [Paper](https://nyx-fuzz.com/papers/ijon.pdf) - - [Slides](https://nyx-fuzz.com/papers/ijon_slides.pdf) - - [Talk](https://www.youtube.com/watch?v=XuyF-Jb2hQ4) -- HYPER-CUBE: High-Dimensional Hypervisor Fuzzing (2020) - - [Paper](https://nyx-fuzz.com/papers/hypercube.pdf) - - [Slides](https://nyx-fuzz.com/papers/hypercube_slides.pdf) - - [Talk](https://www.youtube.com/watch?v=GmIlLKT_nH8) -- Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types (2021) - - [Paper](https://www.usenix.org/system/files/sec21-schumilo.pdf) - - [Slides](https://www.usenix.org/system/files/sec21_slides_schumilo.pdf) - - [Talk](https://youtu.be/ZsW5_Ukzl_8) -- Nyx-Net: Network Fuzzing with Incremental Snapshots (2021) - - [Paper](https://dl.acm.org/doi/pdf/10.1145/3492321.3519591) - - [Slides](https://schumilo.de/publications/nyx-net/slides.pdf) +## Maintainers + +- [@Wenzel - Mathieu Tarral](https://github.com/Wenzel) ([Intel](https://github.com/IntelLabs)) +- [@il-steffen - Steffen Schulz](https://github.com/il-steffen) ([InteLabs](https://github.com/IntelLabs)) + +## License + +[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) diff --git a/docs/requirements.txt b/docs/requirements.txt index 0b64c080..e8e85027 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -26,7 +26,7 @@ requests==2.28.1 smmap==5.0.0 snowballstemmer==2.2.0 soupsieve==2.3.2.post1 -Sphinx==5.3.0 +Sphinx==6.2.1 sphinx-basic-ng==1.0.0b1 sphinx-copybutton==0.5.2 sphinx_design==0.4.1 diff --git a/docs/source/context/research_papers.md b/docs/source/context/research_papers.md new file mode 100644 index 00000000..433f6189 --- /dev/null +++ b/docs/source/context/research_papers.md @@ -0,0 +1,37 @@ +# Research Papers + +kAFL a research project developed at [Ruhr University Bochum](https://www.ruhr-uni-bochum.de/en) by [Sergej Schumilo](https://schumilo.de/) and [Cornelius Aschermann](https://hexgolems.com/) and funded by [IntelLabs](https://www.intel.com/content/www/us/en/research/overview.html). + +[Related papers](https://nyx-fuzz.com/papers/) 📚 + +- kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels (2017) + - [Paper](https://nyx-fuzz.com/papers/kafl.pdf) + - [Slides](https://nyx-fuzz.com/papers/kafl_slides.pdf) + - [Talk](https://www.youtube.com/watch?v=gZ808d7rQYU) +- REDQUEEN: Fuzzing with Input-to-State Correspondence (2019) + - [Paper](https://nyx-fuzz.com/papers/redqueen.pdf) + - [Slides](https://nyx-fuzz.com/papers/redqueen_slides.pdf) + - [Talk](https://www.youtube.com/watch?v=9JpanJ29r_U) +- NAUTILUS: Fishing for Deep Bugs with Grammars (2019) + - [Paper](https://nyx-fuzz.com/papers/nautilus.pdf) + - [Slides](https://nyx-fuzz.com/papers/nautilus_slides.pdf) + - [Talk](https://www.youtube.com/watch?v=z0rpN_hxdnA) +- GRIMOIRE: Synthesizing Structure while Fuzzing (2019) + - [Paper](https://nyx-fuzz.com/papers/grimoire.pdf) + - [Slides](https://nyx-fuzz.com/papers/grimoire_slides.pdf) + - [Talk](https://www.youtube.com/watch?v=VF9YcAnzMPI) +- IJON: Exploring Deep State Spaces via Fuzzing (2020) + - [Paper](https://nyx-fuzz.com/papers/ijon.pdf) + - [Slides](https://nyx-fuzz.com/papers/ijon_slides.pdf) + - [Talk](https://www.youtube.com/watch?v=XuyF-Jb2hQ4) +- HYPER-CUBE: High-Dimensional Hypervisor Fuzzing (2020) + - [Paper](https://nyx-fuzz.com/papers/hypercube.pdf) + - [Slides](https://nyx-fuzz.com/papers/hypercube_slides.pdf) + - [Talk](https://www.youtube.com/watch?v=GmIlLKT_nH8) +- Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types (2021) + - [Paper](https://www.usenix.org/system/files/sec21-schumilo.pdf) + - [Slides](https://www.usenix.org/system/files/sec21_slides_schumilo.pdf) + - [Talk](https://youtu.be/ZsW5_Ukzl_8) +- Nyx-Net: Network Fuzzing with Incremental Snapshots (2021) + - [Paper](https://dl.acm.org/doi/pdf/10.1145/3492321.3519591) + - [Slides](https://schumilo.de/publications/nyx-net/slides.pdf) diff --git a/docs/source/index.md b/docs/source/index.md index ab90d4d0..9912c633 100644 --- a/docs/source/index.md +++ b/docs/source/index.md @@ -49,6 +49,13 @@ reference/workdir_layout reference/user_interface ``` +```{toctree} +:maxdepth: 2 +:caption: Context + +context/research_papers +``` + ```{toctree} :maxdepth: 2 :caption: Development