Wigderson [1986]: Proofs that Yield Nothing But the VMidiiy of Zhe Assertion and the (1986)

by Micali Goldreich
Venue:Methodology of CrypZographic Protocol Design, submitted to 27lh Symposium on Foundations of Computer Science