Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp

Program

Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation

Location

Calvin Lab auditorium

Date

Monday, May 19 – Friday, May 23, 2025

Back to calendar

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Foundations 1

Iftach Haitner (Stellar Development Foundation & Tel Aviv University)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Foundations 2

Iftach Haitner (Stellar Development Foundation & Tel Aviv University)

12 – 2 p.m.

Lunch (on your own)

2 – 3:30 p.m.

Obfuscation 1

Amit Sahai (UCLA)

3:30 – 4 p.m.

Break

4 – 5 p.m.

Obfuscation 2

Aayush Jain (Carnegie Mellon University)

5 – 6 p.m.

Reception

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Quantum 1

Mark Zhandry (NTT Research)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Quantum 2

Mark Zhandry (NTT Research)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Quantum 3

Dakshita Khurana (University of Illinois Urbana-Champaign)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Quantum 4

Dakshita Khurana (University of Illinois Urbana-Champaign)

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

To interact or not to interact: Cryptographic proof systems and the Fiat-Shamir heuristic

Alex Lombardi (Princeton)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Proofs - Theory

Yael Kalai (MIT and Microsoft Research)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Proofs - Practice 1

Justin Thaler (Georgetown University)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Proofs - Practice 2

Justin Thaler (Georgetown University)

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Secure Computation 1

Peter Scholl (Aarhus University)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Secure Computation 2

Elette Boyle (Reichman University (IDC) & NTT Research)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Secure Computation 3

Peter Scholl (Aarhus University)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Private Information Retrieval and Oblivious RAM

Elaine Shi (Carnegie Mellon University)

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Crypto + ML 1

Shafi Goldwasser (Simons Institute, UC Berkeley)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Crypto + ML 2

Nicholas Carlini (Anthropic)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Crypto + Meta-complexity 1

Rafael Pass (Tel-Aviv University and Cornell Tech)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Crypto + Meta-complexity 2

Rafael Pass (Tel-Aviv University and Cornell Tech)