Andrea Coladangelo, Alex Bredariol Grilo, Stacey Jeffery, Thomas Vidick. Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources. In Yuval Ishai, Vincent Rijmen, editors, Advances in Cryptology - EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part III. Volume 11478 of Lecture Notes in Computer Science, pages 247-277, Springer, 2019. [doi]
Abstract is missing.