Dertouzos Distinguished Lecture: Proof, Secrets, and Computation
Date: Thursday, December 05, 2013
Time: 4:00 PM to 5:30 PM Note: all times are in the Eastern Time Zone
Refreshments: 3:45 PM
Host: Daniela Rus
Contact: Victoria Palay, 617-253-8924, firstname.lastname@example.org
Speaker URL: None
TALK: Dertouzos Distinguished Lecture: Proof, Secrets, and Computation
We show how Theory of Computation has revolutionized our millenary notion of a proof, revealing its unexpected applications to our new digital world.
In particular, we shall demonstrate how interaction can make proofs much easier to verify, dramatically limit the amount of knowledge released, and yield the most secure identification schemes to date.
Largely based on joint work with Shafi Goldwasser.
Silvio Micali has received his Laurea in Mathematics from the University of Rome, and his PhD in Computer Science from the University of California at Berkeley. Since 1983 he has been a member of the MIT faculty, in Electrical Engineering and Computer Science Department, and of the Computer Science and Artificial Intelligence Laboratory.
Silvios research interests are cryptography, zero knowledge, pseudo-random generation, secure protocols, and mechanism design.
Silvio has received the Turing Award, the Gödel Prize, and the RSA prize He is a member of the National Academy of Sciences, the National Academy of Engineering, and the American Academy of Arts and Sciences.
Created by Victoria Palay at Friday, September 06, 2013 at 8:15 AM.