2019 DIMACS Workshop
DIMACS/MACS Workshop on Usable, Efficient, and Formally Verified Secure Computation
March 14, 2019 – March 15, 2019
Location:
Barrister’s Hall – first floor
Boston University Law School
765 Commonwealth Avenue
Boston, MA 02215
Groundbreaking results from the 1980s showed the surprising result that any function can be securely computed by a group of participants in a distributed fashion such that each party learns its intended output and nothing more. These celebrated results were viewed as theoretical proofs of concept. Starting with the FairPlay system, however, a series of theoretical and practical advances in the field have supported the idea that secure computation can perhaps be as practical and ubiquitous as public key cryptography. Some of these advances involve new cryptographic techniques such as building secure computation from fully homomorphic encryption, oblivious RAM, and reusable rather than use-once garbled circuits.
For more information: https://www.bu.edu/hic/2019-dimacs-workshop/