{"id":"arxiv/2607.13464","url":"https://arxiv.org/abs/2607.13464","tags":["quant-ph"],"score":0,"title":"Security evaluation of quantum distance-bounding protocols via semidefinite programming","domain":"quant-ph","source":"arxiv","authors":["Kevin Bogner","Aysajan Abidin","Dave Singelee","Bart Preneel"],"reviews":0,"subject":"quant-ph","summary":"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 fast phase and study one-round distance-fraud (DF) and mafia-fraud (MF) games. For discrete-variable QDB, we show that these games reduce to convex optimization problems and can therefore be solved exactly with semidefinite programming; each MF value comes with an explicit attack achieving it and a…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-15","reactions":{}}