Add WaVe for 10/27

Author: vrindisbacher

index.html

@@ -76,11 +76,11 @@
 
 Wed Oct 22 2025: Tock, continued...
   - *Reading*:
-    - [Tock: From Research To Securing 10 Million Computers](https://dl.acm.org/doi/pdf/10.1145/3731569.3764828) by Yu-Hsun Chiang, et al.
+    - [Tock: From Research To Securing 10 Million Computers](https://dl.acm.org/doi/pdf/10.1145/3731569.3764828) by Leon Schuermann, et al.
 
-Mon Oct 27 2025: Virtual Machines
+Mon Oct 27 2025: Web Assembly
  - *Reading*:
-    - [Firecracker: Lightweight Virtualization for Serverless Applications](https://www.usenix.org/system/files/nsdi20-paper-agache.pdf) by Alexandru Agache et al.
+    - [WaVe: a verifiably secure WebAssembly sandboxing runtime](https://cseweb.ucsd.edu/~dstefan/pubs/johnson:2023:wave.pdf) by Evan Johnson et al.
 
 Wed Oct 29 2025: Confidential VMs
   - *Reading*: