fix link to redleaf

PLSysSec · Oct 8, 2024 · f033b3e · f033b3e
1 parent 0e192df
commit f033b3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -54,7 +54,7 @@
 
 Wed Oct 9 2024: Isolating untrusted code with Rust
   - *Reading*:
-    - [RedLeaf: isolation and communication in a safe operating system](./papers/osdi20-narayanan_vikram.pdf) by Vikram Narayanan et al.
+    - [RedLeaf: isolation and communication in a safe operating system](./papers/redleaf.pdf) by Vikram Narayanan et al.
     - [CVE-rs](https://github.com/Speykious/cve-rs)