• Click on the titles of individual talks for abstract, slides and archived video.

All events take place in the Calvin Lab Auditorium.

–
Coffee and Check-In
–
Opening Remarks
–
Obfuscation: Past, Present, and Possible Futures

Amit Sahai (UCLA)
Video
–
Break
–
New Developments in Multilinear Maps: Zeroizing Attacks, Defenses, and Post-Zeroizing Obfuscation

Eric Miles, UCLA,
Mehdi Tibouchi, NTT Secure Platform Laboratories
Video
–
Discussion
–
Lunch
–
Indistinguishability Obfuscation for Turing Machines with Unbounded Memory

Brent Waters, UT Austin
Video
–
Obfuscation with Constant Multiplicative Size Overhead

Prabhanjan Ananth (UC Santa Barbara)
Video
–
Break
–
Cryptocurrencies and Smart Contracts

Elaine Shi (Carnegie Mellon University)
Video
–
Sequential Composition of Rational Proofs

Rosario Gennaro, City University of New York
Video
–
Rethinking Secure Computation - A Greedy Approach

Muthuramakrishnan Venkitasubramaniam, University of Rochester
Video
–
Coffee and Check-In
–
A Brief History of Practical Garbled Circuit Optimizations

Mike Rosulek, Oregon State University
Video
–
Break
–
Fast Garbling of Circuits Under Standard Assumptions

Yehuda Lindell, Bar-Ilan University
Video
–
A Framework for Efficient Mixed-Protocol Secure Two-Party Computation

Thomas Schneider, Technische Universität Darmstadt
Video
–
Discussion
–
Lunch
–
Lower Bounds for Information-Theoretic MPC

I,
van Damgård, Aarhus University
Video
–
Capacity Inversion and MPC over Elastic Noisy Channels

Hemanta Maji, UCLA
Video
–
Break
–
Upending Stock Market Structure Using Secure Computation

Charanjit Jutla (IBM Research)
Video
–
Practical Private DB Querying

Vlad Kolesnikov, Bell Labs,
Tal Malkin (Columbia University)
Video
–
Reception
–
Coffee and Check-In
–
A Wishlist for Verifiable Computation: An Applied CS Perspective

Mike Walfish (New York University)
Video
–
SNARKs and their Practical Applications

Eran Tromer (Tel Aviv University)
Video
–
Break
–
How to use Bitcoin to Enhance Secure Computation

Ranjit Kumaresan, Massachusetts Institute of Technology
Video
–
Provably Secure Blockchain Protocols and Applications to Secure Computation

Aggelos Kiayias (National and Kapodistrian University of Athens)
Video
–
Lunch
–
The Simplest Oblivious Transfer Protocol

Claudio Orlandi, Aarhus University
Video
–
The Whole is Greater than the Sum of its Parts: Linear Garbling and Applications

Valerio Pastro (Columbia University)
Video
–
Discussion on Practical Advanced Crypto: Bottlenecks and the Future (moderated by Yehuda Lindell)
–
Break
–
Contention in Cryptography: Obfuscation, Leakage, UCE and the AI-DHI Assumptions

Stefano Tessaro (University of Washington)
Video
–
How to Construct Indistinguishability Obfuscation from Compact Functional Encryption

Abhishek Jain, Johns Hopkins University
Video
–
Coffee and Check-In
–
Public-Coin Differing-Inputs Obfuscation and its Applications

Omkant Pandey, UCLA
Video
–
Obfuscation of Probabilistic Circuits and Applications

Huijia Lin (University of Washington)
Video
–
Break
–
Discussion on Obfuscation: Bottlenecks and the Future (moderated by Shai Halevi)
–
Lunch
–
Breaking News Sessions / Young Researcher Presentations

Multiple Speakers (Auditorium, Room 116 and the 2nd Floor Interaction Area)
–
Breaking News Sessions / Young Researcher Presentations

Multiple Speakers (Auditorium, Room 116 and the 2nd Floor Interaction Area)
–
Break
–
Breaking News Sessions / Young Researcher Presentations

Multiple Speakers (Auditorium, Room 116 and the 2nd Floor Interaction Area)
–
Breaking News Sessions / Young Researcher Presentations

Multiple Speakers (Auditorium, Room 116 and the 2nd Floor Interaction Area)
–
Coffee and Check-In
–
Two Round MPC via Multi-Key FHE

Daniel Wichs (Northeastern University and NTT Research)
Video
–
Efficient Multiparty Protocols via Log-Depth Threshold Formulae

Ron Rothblum (Succinct)
Video
–
Break
–
Oblivious RAM for MPC

Stanislaw Jarecki, UC Irvine
Video
–
Provably Secure Virus Detection: Using the Uncertainty to End Computer Malware

Vassilis Zikas (Georgia Tech)
Video
–
Discussion
–
Lunch
–
On the Cryptographic Hardness of Finding a Nash Equilibrium

Omer Paneth (Boston University)
Video
–
How Fair is your Protocol? A Utility-Based Approach to Protocol Optimality

Bjoern Tackmann, UC San Diego
Video
–
Break
–
Cryptographic Agents: Towards a Unified Theory of Computing on Encrypted Data

Manoj Prabhakaran (Indian Institute of Technology, Bombay)
Video
–
New Advances in Secure RAM Computation

Sanjam Garg (UC Berkeley)
Video