Computationally Sound Proofs (0)

by S Micali
Venue:SIAM J. Computing