update

index.html

@@ -99,18 +99,23 @@
  - *Reading*:
     - [Modular information flow through ownership](./papers/ifc.pdf) by Will Chrichton et al.
 
-Mon Nov 18 2024: Fearless Concurrency?
+Mon Nov 18 2024: Secure VMMs
  - *Reading*:
-    - [When is parallelism fearless and zero-cost with Rust?](./papers/parallelism.pdf) by Javad Abdi et al.
+    - [Firecracker: Lightweight Virtualization for Serverless Applications](https://www.usenix.org/system/files/nsdi20-paper-agache.pdf) by Alexandru Agache et al.
 
-Wed Nov 20 2024: Fearless Concurrency? (continued)
+Wed Nov 20 2024: Secure HSMs
  - *Reading*:
-    - [Deadlock free async message reordering in rust with multiparty session types](./papers/session_types.pdf) by Zak Cutner et al.
+    - [Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation](https://people.csail.mit.edu/nickolai/papers/athalye-parfait.pdf) by Anish Athalye et al.
 
 
-Wed Nov 20 2024: 
+Mon Nov 20 2024: Fearless Concurrency?
+ - *Reading*:
+    - [When is parallelism fearless and zero-cost with Rust?](./papers/parallelism.pdf) by Javad Abdi et al.
+
+Wed Nov 25 2024: Fearless Concurrency? (continued)
+ - *Reading*:
+    - [Deadlock free async message reordering in rust with multiparty session types](./papers/session_types.pdf) by Zak Cutner et al.
 
-Mon Nov 25 2024: 
 
 Wed Nov 27 2024: Thanksgiving