Happy Birthday to Turing Laureate Silvio Micali! Micali received the #ACMTuringAward in 2012 along with Shafi Goldwasser, for transformative work that laid the complexity-theoretic foundations for the science of cryptography, and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory. In this video, Micali introduces his work on zero knowledge proofs: https://youtu.be/LXF882rEIj8