Computationally sound proofs (0)

by S Micali
Venue:SIAM J. Comput