Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract)

Oded Goldreich, Silvio Micali, Avi Wigderson

Browse the full FOCS paper archive.