• Proving Anything Quickly, Privately, and Elegantly with Secure Computation 

      Kolesnikov, Vladimir (Georgia Institute of Technology, 2018-08-24)
      Secure multi-party computation (MPC) is an area of cryptography which studies computing on encrypted data. In this talk, I will discuss a somewhat surprising MPC technique of proving statements in zero-knowledge (i.e., ...