• 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)
–
Break
–
New Developments in Multilinear Maps: Zeroizing Attacks, Defenses, and Post-Zeroizing Obfuscation
Eric Miles, UCLA, Mehdi Tibouchi, NTT Secure Platform Laboratories
–
Discussion
–
Lunch
–
Indistinguishability Obfuscation for Turing Machines with Unbounded Memory
Brent Waters, UT Austin
–
Obfuscation with Constant Multiplicative Size Overhead
Prabhanjan Ananth (UC Santa Barbara)
–
Break
–
Cryptocurrencies and Smart Contracts
Elaine Shi (Cornell University)
–
Sequential Composition of Rational Proofs
Rosario Gennaro, City University of New York
–
Rethinking Secure Computation - A Greedy Approach
Muthuramakrishnan Venkitasubramaniam, University of Rochester
–
Coffee and Check-In
–
A Brief History of Practical Garbled Circuit Optimizations
Mike Rosulek, Oregon State University
–
Break
–
Fast Garbling of Circuits Under Standard Assumptions
Yehuda Lindell, Bar-Ilan University
–
A Framework for Efficient Mixed-Protocol Secure Two-Party Computation
Thomas Schneider, Technische Universität Darmstadt
–
Discussion
–
Lunch
–
Lower Bounds for Information-Theoretic MPC
I, van Damgård, Aarhus University
–
Capacity Inversion and MPC over Elastic Noisy Channels
Hemanta Maji, UCLA
–
Break
–
Upending Stock Market Structure Using Secure Computation
Charanjit Jutla (IBM Research)
–
Practical Private DB Querying
Vlad Kolesnikov, Bell Labs, Tal Malkin (Columbia University)
–
Reception
–
Coffee and Check-In
–
A Wishlist for Verifiable Computation: An Applied CS Perspective
Mike Walfish (New York University)
–
SNARKs and their Practical Applications
Eran Tromer (Tel Aviv University)
–
Break
–
How to use Bitcoin to Enhance Secure Computation
Ranjit Kumaresan, Massachusetts Institute of Technology
–
Provably Secure Blockchain Protocols and Applications to Secure Computation
Aggelos Kiayias (National and Kapodistrian University of Athens)
–
Lunch
–
The Simplest Oblivious Transfer Protocol
Claudio Orlandi, Aarhus University
–
The Whole is Greater than the Sum of its Parts: Linear Garbling and Applications
Valerio Pastro (Columbia University)
–
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)
–
How to Construct Indistinguishability Obfuscation from Compact Functional Encryption
Abhishek Jain, Johns Hopkins University
–
Coffee and Check-In
–
Public-Coin Differing-Inputs Obfuscation and its Applications
Omkant Pandey, UCLA
–
Obfuscation of Probabilistic Circuits and Applications
Rachel Lin (University of Washington)
–
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)
–
Efficient Multiparty Protocols via Log-Depth Threshold Formulae
Ron Rothblum (Technion)
–
Break
–
Oblivious RAM for MPC
Stanislaw Jarecki, UC Irvine
–
Provably Secure Virus Detection: Using the Uncertainty to End Computer Malware
Vassilis Zikas (University of Edinburgh)
–
Discussion
–
Lunch
–
On the Cryptographic Hardness of Finding a Nash Equilibrium
Omer Paneth (Boston University)
–
How Fair is your Protocol? A Utility-Based Approach to Protocol Optimality
Bjoern Tackmann, UC San Diego
–
Break
–
Cryptographic Agents: Towards a Unified Theory of Computing on Encrypted Data
Manoj Prabhakaran (University of Illinois, Urbana-Champaign)
–
New Advances in Secure RAM Computation
Sanjam Garg (UC Berkeley)