DIMACS Workshop on Outsourcing Computation Securely

July 6 - 7, 2017
DIMACS Center, CoRE Building, Rutgers University

Organizers:
Marina Blanton, University at Buffalo, mblanton at buffalo.edu
Guy Rothblum, Weizmann Institute of Science, rothblum at alum.mit.edu
Michael Walfish, New York University, mwalfish at cs.nyu.edu
Presented under the auspices of the DIMACS Special Focus on Cryptography as part of the DIMACS/Simons Collaboration in Cryptography and the DIMACS Special Focus on Cybersecurity.

Workshop Program:

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
Contacting the Center
Document last modified on November 28, 2017.