papers

index.html

@@ -117,9 +117,13 @@
     - [Deadlock free async message reordering in rust with multiparty session types](./papers/session_types.pdf) by Zak Cutner et al.
 
 
-Mon Dec 2 2024: 
+Mon Dec 2 2024: Confidential VMs
+  - *Reading*:
+    - [VERISMO: A Verified Security Module for Confidential VMs](https://www.usenix.org/system/files/osdi24-zhou.pdf) by Ziqiao Zhou et al.
 
-Wed Dec 4 2024:  
+Wed Dec 4 2024: Operating Systems (cont)
+  - *Reading*:
+    - [Theseus: an Experiment in Operating System Structure and State Management](https://www.usenix.org/conference/osdi20/presentation/boos) by Kevin Boos et al.
 
 
 <style class="fallback">body{visibility:hidden;white-space:pre;font-family:monospace}</style><script src="markdeep.min.js"></script>