Quantum position verification in the random oracle model (2014)

Quantum Secure Key Exchange with Position-based Credentials (2025)

Improved analysis of how to use QPV to provide the authentication within QKD

Quantum tagging for tags containing secret classical data (2011)

Considers QPV in the setting when the verifiers and the prover pre-share a secret. Shows that then QPV is unconditionally secure by indefinitely expanding the secret using QKD

Single-qubit loss-tolerant quantum position verification protocol secure against entangled attackers (2023)

Tightly characterises the secure region of the protocol depending on the loss and error rates

A single-qubit position verification protocol that is secure against multi-qubit attacks (2022)

Shows a robust linear lower bound on the dimension of the attack resource state