Proofs That Yield Nothing but Their Validity and a Methodology of Cryptographic Protocol Design (1991)

by O Goldreich, S Micali, A Wigderson
Venue:Journal of the ACM