Day 1: Security Workshop
Main content start
April 21, 2025
Location: Computing and Data Science Building, Simonyi Conference Center
Time | Agenda | Video |
8:30am | Registration & Breakfast | |
9:30am | Welcome Remarks Dan Boneh | |
9:40am | Cybench: A Framework for Evaluating Cybersecurity Capabilities and Risks of Language Models Andy Zhang | |
10:05am | Push-button Verification of Side-Channel HW Security Features Yao Hsiao | |
10:30am | Recent Developments in Cryptography Dan Boneh | |
10:55am | Break | |
11:15am | A Few Observations about Internet Regionalization, Balkanization, and Censorship Zakir Durumeric | |
11:40am | Homomorphic Encryption for Large Integers Jaehyung Kim | |
12:05pm | Characterizing the MrDeepFakes Sexual Deepfake Marketplace Catherine Han | |
12:30pm | Lunch | |
2:00pm | ExProof: Verifiable Explanations for Confidential ML Models Evan Laufer | |
2:25pm | Deterministic Client: Enforcing Determinism on Untrusted Machine Code Zach Yedidia | |
2:50pm | Break | |
3:10pm | Rethinking Support for CISOs' Security Decisions Kimberly Ruth | |
3:35pm | How to Delegate Voting Power Privately Kamilla Nazirkhanova | |
4:00pm | Concluding Remarks |