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 

10:00 - 10:25   Full Accounting for Verifiable Outsourcing
	        Riad Wahby, Stanford University 

10:25 - 11:00	Coffee break

11:00 - 11:25	Opaque: An Oblivious and Encrypted Distributed Analytics Platform
	        Raluca Popa, UC Berkeley 

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 

12:15 - 12:40	Implementing Cryptographic Obfuscation
                Shai Halevi, IBM Research 

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 

 3:00 - 3:25	The State of the SNARK: Practical Applications of Noninteractive Arguments
                Eran Tromer, Tel Aviv / Columbia 

 3:25 -  4:00	Coffee Break

 4:00 -  4:25	Distinguisher-Dependent Simulation in Two Rounds and its Applications
                Dakshita Khurana, UCLA 

 4:25 -  4:50	On Zero-Testable Homomorphic Encryption and Publicly Verifiable Non-Interactive Arguments
	        Omer Paneth, MIT 

 4:50 -  5:15	Delegation with (Nearly) Optimal Time/Space Overhead
	        Justin Holmgren, MIT 


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

10:00 - 10:25   Doubly-Efficient Interactive Proofs
                Ron Rothblum, MIT 

10:25 - 11:00	Coffee break

11:00 - 11:25	vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases
                Yupeng Zhang, University of Maryland 

11:25 - 11:50	Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
                Esha Gosh, Brown University 

11:50 - 12:15   Making Verifiable Computation Useful
                Bryan Parno, CMU 

12:15 - 12:40   Practical Searchable Encryption for Data on Disk
                Babis Papamanthou, University of Maryland 

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 

 3:25 -  4:00	Coffee Break

 4:00 -  4:25   Survey of Sub-circuit-size Zero Knowledge
                abhi shelat, Northeastern University 

 4:25 -  4:50	Lattice-Based SNARGs and Their Application to More Efficient Obfuscation
                David Wu, Stanford University 

 4:50 -  5:15	Scalable Transparent ARguments-of-Knowledge
                Michael Riabzev, Technion 

Previous: Participation
Next: Registration
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on July 6, 2017.