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.