Thursday, July 6, 2017
8:30 - 9:00 Breakfast and Registration
9:00 - 10:00 A New Perspective on Delegating Computation -- In Honor of the 10 Year Anniversary of GKR
Yael Kalai, Microsoft Research
Video
10:00 - 10:25 Full Accounting for Verifiable Outsourcing
Riad Wahby, Stanford University
Slides Video
10:25 - 11:00 Coffee break
11:00 - 11:25 Opaque: An Oblivious and Encrypted Distributed Analytics Platform
Raluca Popa, UC Berkeley
Video
11:25 - 11:50 Oblivious Computation with Data Locality
Gilad Asharov, Cornell Tech
11:50 - 12:15 Accessing Data while Preserving Privacy
Kobi Nissim, Harvard University
Slides Video
12:15 - 12:40 Implementing Cryptographic Obfuscation
Shai Halevi, IBM Research
Slides Video
12:30 - 1:50 Lunch
1:50 - 2:00 DIMACS Director's Welcome
Rebecca Wright, Rutgers University
2:00 - 3:00 Rethinking Large-Scale Consensus Through Blockchains
Elaine Shi, Cornell
Video
3:00 - 3:25 The State of the SNARK: Practical Applications of Noninteractive Arguments
Eran Tromer, Tel Aviv / Columbia
Video
3:25 - 4:00 Coffee Break
4:00 - 4:25 Distinguisher-Dependent Simulation in Two Rounds and its Applications
Dakshita Khurana, UCLA
Slides Video
4:25 - 4:50 On Zero-Testable Homomorphic Encryption and Publicly Verifiable Non-Interactive Arguments
Omer Paneth, MIT
Slides Video
4:50 - 5:15 Delegation with (Nearly) Optimal Time/Space Overhead
Justin Holmgren, MIT
Slides Video
Friday, July 7, 2017
8:30 - 9:00 Breakfast and Registration
9:00 - 10:00 Implementations of Probabilistic Proofs: Survey and Next Steps
Srinath Setty, Microsoft Research
Slides Video
10:00 - 10:25 Doubly-Efficient Interactive Proofs
Ron Rothblum, MIT
Slides Video
10:25 - 11:00 Coffee break
11:00 - 11:25 vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases
Yupeng Zhang, University of Maryland
Slides Video
11:25 - 11:50 Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Esha Gosh, Brown University
Video
11:50 - 12:15 Making Verifiable Computation Useful
Bryan Parno, CMU
Slides Video
12:15 - 12:40 Practical Searchable Encryption for Data on Disk
Babis Papamanthou, University of Maryland
Video
12:30 - 2:00 Lunch
2:00 - 3:00 Panel: The Future of Secure Outsourcing
Marina Blanton, Shai Halevi, Yael Kalai, Elaine Shi and Michael Walfish
3:00 - 3:25 Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
Muthu Venkitasubramaniam, University of Rochester
Video
3:25 - 4:00 Coffee Break
4:00 - 4:25 Survey of Sub-circuit-size Zero Knowledge
abhi shelat, Northeastern University
Video
4:25 - 4:50 Lattice-Based SNARGs and Their Application to More Efficient Obfuscation
David Wu, Stanford University
Slides Video
4:50 - 5:15 Scalable Transparent ARguments-of-Knowledge
Michael Riabzev, Technion
Slides Video
Previous: Participation
Next: Registration
Workshop Index
DIMACS Homepage