From 5e9f44ed048a5a2b78dc51322e25d9d952b8d22d Mon Sep 17 00:00:00 2001 From: Deian Stefan Date: Fri, 15 Nov 2024 16:27:25 -0800 Subject: [PATCH] update --- index.html | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index d3bee52..8971355 100644 --- a/index.html +++ b/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