Parking: via ortega garage. Please park in the visitor spots on the first floor. Pay using ParkMobile.
9:30am: Coffee
10:00am: Welcome
10:10am: BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper
Srivatsan Sridhar, U.C. Berkeley
10:40am: SIMD HSS and aHMAC, with Applications to Garbling
Jaehyung Kim, Stanford University
11:10am: Coffee Break
11:40am: Keynote: New Feasibility Results in Unclonable Cryptography
Prabhanjan Ananth , UCSB
12:40pm: Lunch
2:00pm: Non-Adaptive Programmable PRFs and Applications to Stacked Garbling
Yibin Yang, NTT Research
2:30pm: New Results on Traceable Secret Sharing
Aditi Partap, Stanford University
3:00pm: Coffee Break
3:30pm: Lighthouse: Single-Server Secure Aggregation with O(1) Communication at Scale
Erkan Tairi, U.C. Berkeley
4:00pm: How to Classically Verify a Quantum Cat Without Killing It
Justin Raizes, NTT Research
4:30pm: END