–
Coffee and Check-In
–
Private and Verifiable Computation
Aarushi Goel (Purdue University)
–
Cryptography, Proofs and Quantum Information
Nick Spooner (Cornell University)
–
Succinctness and Propositional Logic: A Match Made in Heaven
Surya Mathialagan (MIT)
–
Break
–
Probabilistic Proof Systems in Theory and Practice
Gal Arnon (Weizmann Institute)
–
The Rate of Cryptography
Damiano Abram
–
Codes and Extractors Against Bounded Adversaries
Jad Silbak (Northeastern University)
–
Cryptography and Meta-Complexity
Noam Mazor (Tel Aviv University)