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