Cs proofs (extended abstracts (1994)

by S Micali
Venue:In FOCS