Archive: Proofs, Secrets, and Computation
2,649 views · Published 20 November 2013 · 42:15 · Indexed 12 November 2026
Channel: UW Video · 2013 · Education
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. Silvio Micali MIT Computer Science and Artificial Intelligence Laboratory The University of Washington is committed to ensuring digital accessibility in our services, programs, and activities. If you encounter accessibility barriers using videos found on this channel, please contact UW Video at uwvideo [at] uw [dot] edu.
More from this channel
-
54:45
Archive: Usable Privacy and Security: Protecting People from Online Phishing Scams
-
58:27
Archive: Technology for Long-Term Care: Scaling Elder Care to the Next Billion
-
53:34
Archive: Closing the Innovation Gap
-
52:34
Archive: Hardness Amplification by Repetition
-
54:57
Archive: Network Coded Wireless Architecture
-
58:16
Archive: Thinking Historically about Thinking Historically: Identity Politics to Ethical Action
-
27:18
Archive: Eastside Specialty Center: Coordination of Care
-
22:35
Archive: Innovations in Spine Care