Practical Position-Based Quantum Cryptography

We study a general family of quantum protocols for position verification and present a class of attacks based on the Clifford hierarchy. These attacks outperform current strategies based on port-based teleportation for a large class of practical protocols. We then introduce the interleaved product protocol, a scheme for position verification involving only the preparation and measurement of single qubit states for which the best available attacks have a complexity exponential in the number of classical bits transmitted.