Shafi Goldwasser
Silvio Micali
Charles Rackoff
SIAM Journal on Computing
Beyond nash equilibrium
Two prover protocols