235 citations · 843 across the 20 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
quant-ph2013★ 2 cited
Interactive proofs for BQP via self-tested graph states (extended abstract)
Matthew McKague
Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives inter…
quant-ph2013★ 86 cited
Interactive proofs for BQP via self-tested graph states
Matthew McKague
Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives inter…
quant-ph2013
Entanglement improves classical control
Duy Nguyen Truong, Matthew McKague, Stephanie Wehner
Electronic devices all around us contain classical control circuits. Such circuits consist of a network of controllers which can read and write signals to wires of the circuit with…