logo
  • Articles
  • editors
  • Submit
  • Search
  • Home
  • About
  • Articles
  • Special Issues
  • Graduate Surveys
  • Library
  • Editors
  • Submit
  • Issues
  • Contact Us
  • Search
Articles under category:
Nonlocal Games
Vol 20, Article 3 (pp 1-87)
Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources
by Andrea Coladangelo, Alex B. Grilo, Stacey Jeffery, and Thomas Vidick
Vol 15, Article 5 (pp 1-42)
Classical Verification of Quantum Proofs
by Zhengfeng Ji
Vol 8, Article 27 (pp 623-645)
Near-Optimal and Explicit Bell Inequality Violations
by Harry Buhrman, Oded Regev, Giannicola Scarpa, and Ronald de Wolf