112 citations · 350 across the 23 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
quant-ph2017
Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources
Andrea Coladangelo, Alex Grilo, Stacey Jeffery +1
The problem of reliably certifying the outcome of a computation performed by a quantum device is rapidly gaining relevance. We present two protocols for a classical verifier to ver…
quant-ph2017★ 3 cited
Quantum Algorithms for Graph Connectivity and Formula Evaluation
Stacey Jeffery, Shelby Kimmel
We give a new upper bound on the quantum query complexity of deciding -connectivity on certain classes of planar graphs, and show the bound is sometimes exponentially better th…