Strong Separation Models of Multi Prover Interactive Proofs

J. Kilian, "Strong Separation Models of Multi Prover Interactive Proofs" DIMA CS Workshop on Cryptography, October 1990.

1990