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

Slides:

• Shai Halevi, IBM Research
  Implementing BP-Obfuscation

• Justin Holmgren, MIT
  Delegation with (Nearly) Optimal Time/Space Overhead

• Dakshita Khurana, UCLA
  Distinguisher-Dependent Simulation

• Kobi Nissim, Harvard University
  Accessing Data while Preserving Privacy

• Omer Paneth, MIT
  On Zero-Testable Homomorphic Encryption and Publicly Verifiable Non-Interactive Arguments

• Bryan Parno, CMU
  Making Verifiable Computation Useful

• Michael Riabzev, Technion
  Scalable Transparent ARguments-of-Knowledge

• Ron Rothblum, MIT
  Doubly-Efficient Interactive Proofs

• Srinath Setty, Microsoft Research
  Implementations of Probabilistic Proofs: Survey and Next Steps

• Riad Wahby, Stanford University
  Full Accounting for Verifiable Outsourcing

• David Wu, Stanford University
  Lattice-Based SNARGs and Their Application to More Efficient Obfuscation

• Yupeng Zhang, University of Maryland
  vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases

Workshop Index

DIMACS Homepage