Computationally Sound Proofs (2000)

by S Micali
Venue:Preliminary version in 35th FOCS