The Cryptographic Lens

Going beyond the basic challenge of private communication, in the last 35 years, cryptography has become the general study of correctness and privacy of computation in the presence of a computationally bounded adversary, and as such has changed how we think of proofs, reductions, randomness, secrets, and information.

In this talk I will discuss some beautiful developments in the theory of computing through this Cryptographic Lens, as well as recent developments in cryptography that may allow the next successful shift from local to global computation.