–
Coffee and Check-In
–
Foundations 1

Iftach Haitner (Stellar Development Foundation & Tel Aviv University)
Video
–
Break
–
Foundations 2

Iftach Haitner (Stellar Development Foundation & Tel Aviv University)
Video
–
Lunch (on your own)
–
Obfuscation 1

Amit Sahai (UCLA)
Video
–
Break
–
Obfuscation 2

Aayush Jain (Carnegie Mellon University)
Video
–
Reception
–
Coffee and Check-In
–
Quantum 1

Mark Zhandry (NTT Research)
Video
–
Break
–
Quantum 2

Mark Zhandry (NTT Research)
Video
–
Lunch (on your own)
–
Quantum 3

Dakshita Khurana (University of Illinois Urbana-Champaign)
Video
–
Break
–
Quantum 4

Dakshita Khurana (University of Illinois Urbana-Champaign)
Video
–
Coffee and Check-In
–
To interact or not to interact: Cryptographic proof systems and the Fiat-Shamir heuristic

Alex Lombardi (Princeton)
Video
–
Break
–
Proofs - Theory

Yael Kalai (MIT and Microsoft Research)
Video
–
Lunch (on your own)
–
Proofs - Practice 1

Justin Thaler (Georgetown University)
Video
–
Break
–
Proofs - Practice 2

Justin Thaler (Georgetown University)
Video
–
Coffee and Check-In
–
Secure Computation 1

Peter Scholl (Aarhus University)
Video
–
Break
–
Secure Computation 2

Elette Boyle (Reichman University (IDC) & NTT Research)
Video
–
Lunch (on your own)
–
Secure Computation 3

Peter Scholl (Aarhus University)
Video
–
Break
–
Private Information Retrieval and Oblivious RAM

Elaine Shi (Carnegie Mellon University)
Video
–
Coffee and Check-In
–
Crypto + ML 1

Shafi Goldwasser (Simons Institute, UC Berkeley)
Video
–
Break
–
Crypto + ML 2

Nicholas Carlini (Anthropic)
Video
–
Lunch (on your own)
–
Crypto + Meta-complexity 1

Rafael Pass (Tel-Aviv University and Cornell Tech)
Video
–
Break
–
Crypto + Meta-complexity 2

Rafael Pass (Tel-Aviv University and Cornell Tech)
Video