Security Evaluation of Quantum Distance-Bounding Protocols Via Semidefinite Programming

Quantum distance-bounding QDB protocols let a verifier check that a prover is both genuine and physically nearby. During a timed fast phase of quantum communication, the verifier measures round-trip times to obtain an upper bound on the prover's distance. For a uniform comparison, we isolate the...