Skip to main content

2013 Harold J. Gay Lecture Series: "Proofs, Secrets, and Computation" by Silvio Micali

Friday, November 15, 2013
3:15 pm
Floor/Room #: 

Silvio Micali

Ford Professor of Engineering, MIT


Proofs, 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.