A.: Proofs that yield nothing but their validity and a methodology of cryptographic protocol design (1986)

by O Goldreich, S Micali, Wigderson
Venue:In: 27th Annual Symposium on Foundations of Computer Science