Input-Indistinguishable Computation Silvio Micali MIT Rafael Pass Cornell Alon Rosen Harvard Definitions vs. Protocols Crypto in the 20th century – protocols -> definitions…