Merge pull request #195 from IntelLabs/docs/research_paper

Docs/research paper
IntelLabs · May 11, 2023 · 9fc5b24 · 9fc5b24
2 parents 235e45f + e33f220
commit 9fc5b24
Show file tree

Hide file tree

Showing 4 changed files with 53 additions and 38 deletions.
diff --git 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
@@ -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
@@ -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
@@ -49,6 +49,13 @@ reference/workdir_layout
 reference/user_interface
 ```
 
+```{toctree}
+:maxdepth: 2
+:caption: Context
+
+context/research_papers
+```
+
 ```{toctree}
 :maxdepth: 2
 :caption: Development