that Yield Nothing but their Validity and a Methodologyof cryptographic Design (1986)

by ‘Proofs Wigderson
Venue:Proc. 27th IEEE Symposium on Foundations of Computer Science, 174-l 87