Oded Goldreich 0001, Silvio Micali, Avi Wigderson. Proofs that yield nothing but their validity and a methodology of cryptographic protocol design. In Oded Goldreich 0001, editor, Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali. pages 285-306, ACM, 2019. [doi]
Abstract is missing.