diff --git a/_Sidebar.md b/_Sidebar.md
index 95f9ff3..0cb2b1d 100644
--- a/_Sidebar.md
+++ b/_Sidebar.md
@@ -10,6 +10,8 @@
 
 ### Trust
 
+- [Paper](Paper)
+- [Formal Verification](Formal-Verification)
 - [Audit & Testing](Audit-and-Testing)
 - [Security Policy](Security-Policy)