AN EQUATIONAL APPROACH TO SECURE MULTIPARTY COMPUTATION
Date: Friday, November 08, 2013
Time: 11:00 AM to 12:00 PM Note: all times are in the Eastern Time Zone
Host: Shafi Goldwasser
Contact: Holly A Jones, email@example.com
Relevant URL: http://toc.csail.mit.edu/node/422
Speaker URL: None
TALK: AN EQUATIONAL APPROACH TO SECURE MULTIPARTY COMPUTATION
Abstract: We present a framework for the description and analysis of secure computation protocols that is at the same time mathematically rigorous and notationally lightweight and concise. The distinguishing feature of the framework is that it allows to specify (and analyze) protocols in a manner that is largely independent of time, greatly simplifying the study of cryptographic protocols.
At the notational level, protocols are described by systems of mathematical equations (over domains), and can be studied through simple algebraic manipulations like substitutions and variable elimination.
Talk based in part on joint work with Stefano Tessaro, presented at ITCS 2013.
Created by Holly A Jones at Tuesday, October 29, 2013 at 8:47 AM.