Proofs that yield nothing but their validityand a methodology of cryptographic design (2001)

by O Goldreich
Venue:Cambridge University