Fully parallelized multi prover protocols for NEXP-time (extended abstract (1991)

by D LAPIDOT, A SHAMIR
Venue:In Proc. 32nd IEEE Symp. on Foundations of Comp. Science (San Juan, Puerto Rico