Computationally sound proofs (2000)

by Silvio Micali
Venue:SIAM Journal on Computing