Silvio MicaliComputer scientist, expert in computer science、cryptographyProfessor of Massachusetts Institute of Technology
Fellow of the American Academy of Sciences
Fellow of the American Academy of Engineering
Fellow of the American Academy of Arts and Sciences
Turing Award in Computer Science
Gödel Prize in Theoretical Computer Science
RSA prize in Cryptography
Title:
Proof, Secrets, and ComputationAbstract: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, yield the most secure identification schemes to date, and be crucial to secure protocols and future e-commerce.