235 citations · 843 across the 20 of their papers we have counts for
4 papers · 2 filters
Interactive proofs with efficient quantum prover for recursive Fourier sampling
Matthew McKague
We consider the recursive Fourier sampling problem (RFS), and show that there exists an interactive proof for RFS with an efficient classical verifier and efficient quantum prover.
Self-testing graph states
Matthew McKague
We give a construction for a self-test for any connected graph state. In other words, for each connected graph state we give a set of non-local correlations that can only be achiev…
Quantum Information Processing with Adversarial Devices
Matthew McKague
We consider several applications in black-box quantum computation in which untrusted physical quantum devices are connected together to produce an experiment. By examining the outc…
Generalized self-testing and the security of the 6-state protocol
Matthew McKague, Michele Mosca
Self-tested quantum information processing provides a means for doing useful information processing with untrusted quantum apparatus. Previous work was limited to performing comput…