Day 1: Security Workshop
Main content start
April 20, 2026
Location: Computing and Data Science Building, Simonyi Conference Center
| Time | Agenda | Video |
|---|---|---|
| 8:30am | Registration & Breakfast | |
| 9:30am | Welcome Remarks | YouTube |
| 9:40am | On the Security Implications and Future of Internet Censorship Jerry Chai | Will not be posted |
| 10:05am | Quark: Compiler Extensions for Post-Link Instrumentation Zach Yedidia | YouTube |
| 10:30am | Recent Developments in Cryptography Dan Boneh | YouTube |
| 10:55am | Break | |
| 11:15am | One-shot Signatures using Quantum Cryptography Mark Zhandry | YouTube |
| 11:40am | Hop: A Modern Transport and Remote Access Protocol Zakir Durumeric | YouTube |
| 12:05pm | Passlog: Authentication Logging with Public State Ihyun Nam | YouTube |
| 12:30pm | Lunch | |
| 2:00pm | Fix: Externalizing Network I/O in Severless Computing Yuhan Deng | YouTube |
| 2:25pm | Automating Verification of ZKP Arithmetizations in Lean Liza Pertseva | YouTube |
| 2:50pm | Break | |
| 3:10pm | Unlinkable AI Inference as a User Privacy Architecture Ken Liu | YouTube |
| 3:35pm | New Results in Multiuser Cryptography Using Rational Functions Rohit Nema | YouTube |
| 4:00pm | Concluding Remarks |