9:30am: Breakfast
10:00am: Welcome
10:10am: Collaborative Proof Systems with Low Communication
Bhaskar Roberts (UCB)
10:40am: Partial Fraction Techniques for Cryptography
Rohit Nema (Stanford)
11:10am: Coffee Break
11:40am: Keynote: Password-Authenticated Key Exchange: Concepts and Protocols
Jiayu Xu (Oregon State)
12:40pm: Lunch
2:00pm: Oblivious Computation at Scale: Real-World Applications in Systems, Databases, and AI
Ioannis Demertzis (UCSC)
2:30pm: Scalable SNARKs in the random oracle model from high-arity folding
Binyi Chen (Stanford)
3:00pm: Coffee Break
3:30pm: SNARGs for NP from Unprovability of Mathematical Theorems
Surya Mathialagan (NTT Research)
4:00pm: Encrypted Mempools: Research to Product
Guru Vamsi Policharla (UCB)
4:30pm: END