Algebraic methods for interactive proof systems

This publication has 19 references indexed in Scilit:

• Interactive proof systems and alternating time-space complexity
  Published by Springer Nature ,2005
• On the power of multi-prover interactive protocols
  Theoretical Computer Science, 1994
• IP = PSPACE
  Journal of the ACM, 1992
• On the power of interaction
  Combinatorica, 1990
• The Knowledge Complexity of Interactive Proof Systems
  SIAM Journal on Computing, 1989
• Are there interactive protocols for co-NP languages?
  Information Processing Letters, 1988
• Does co-NP have short interactive proofs?
  Information Processing Letters, 1987
• Proofs that yield nothing but their validity and a methodology of cryptographic protocol design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• The complexity of computing the permanent
  Theoretical Computer Science, 1979
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971