update links

Author: lzoghbi

index.html

@@ -50,9 +50,9 @@
 Mon Jan 5 2026: Introduction
   - *Reading*: 
 Wed Jan 7 2026:  IFC
-  - *Reading*: [Language-Based Information-Flow Security](./papers/sm-jsac03) by Andrei Sabelfeld and Andrew C. Myers
+  - *Reading*: [Language-Based Information-Flow Security](./papers/sm-jsac03.pdf) by Andrei Sabelfeld and Andrew C. Myers
 Fri Jan 9 2026:  IFC
-  - *Reading*: [A sound type system for secure flow analysis](./papers/volpano96) by Dennis Volpano, et al.
+  - *Reading*: [A sound type system for secure flow analysis](./papers/volpano96.pdf) by Dennis Volpano, et al.
 Mon Jan 12 2026:  IFC
   - *Reading*: [Flexible Dynamic Information Flow Control in the Presence of Exceptions](https://cseweb.ucsd.edu/~dstefan/pubs/stefan:2017:flexible.pdf) by Deian Stefan, et al.
   - *Reading (optional)*: [Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages](https://jianxiang.info/pub/SP21.pdf) by Jian Xiang and Stephen Chong
@@ -71,7 +71,7 @@
 Wed Jan 28 2026:  Crypto
   - *Reading*: [FaCT: A DSL for timing-sensitive computation](https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2019:fact.pdf) by Sunjay Cauligi, et al.
 Fri Jan 30 2026:  Crypto
-  - *Reading (optional):* [Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust](./papers/bhargavan.pdf) by Karthikeyan Bhargavan, et al.
+  - *Reading (optional):* [Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust](./papers/bhargavan25.pdf) by Karthikeyan Bhargavan, et al.
 Mon Feb 2 2026:  Wasm
   - *Reading*: [Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection](./papers/crocus.pdf) by Alexa VanHattum et al.
 Wed Feb 4 2026:  Wasm
@@ -102,12 +102,11 @@
  - *Reading*: [Finding Real Bugs in Big Programs with Incorrectness Logic](https://dl.acm.org/doi/epdf/10.1145/3527325) by Quang Loc Le, et al.
 Fri Mar 6 2026:  Static Analysis (cont)
   - **Due**: Projects updates (game plan for the last stretch)
-Mon Mar 9 2026:  Fin
- - *Reading*: [Automated Policy Synthesis for System Call Sandboxing](./papers/abhaya.pdf) by Shankara Pailoor, et al.
-Wed Mar 11 2026:  Fin
+Mon Mar 9 2026:  Fuzzing
+ - *Reading*: [FUZZILLI: Fuzzing for JavaScript JIT Compiler Vulnerabilities](./papers/fuzzilli.pdf) by Samuel Groß, et al.
+Wed Mar 11 2026:  TBA
+Fri Mar 13 2026:  Fin
   - *Reading*: [Automated Exploit Generation for Node.js Packages](https://dl.acm.org/doi/epdf/10.1145/3729304) by Filipe Marques, et al.
-Fri Mar 13 2026:  Fin (cont)
-  - *Reading (optional)*: [Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation](./papers/parfait.pdf) by Anish Athalye, et al.
 
 Evaluation
 ==============================================================