Security Framework for Quantum Distance-Bounding
Kevin Bogner, Aysajan Abidin, Dave Singelee, Bart Preneel
Abstract
Distance-bounding (DB) protocols let a verifier upper-bound a prover's physical distance by timing rapid challenge-response exchanges. Quantum communication promises simpler DB protocols with stronger security guarantees, yet existing quantum distance-bounding (QDB) proposals are analysed in ad-hoc models and, to the best of our knowledge, lack a common game-based treatment of standard fraud attacks. We contribute (i) a reusable security framework for QDB that fixes system and timing assumptions, specifies a quantum-capable adversary model, formalises distance-, mafia-, and terrorist-fraud experiments, and includes a simple i.i.d. depolarizing noise model; and (ii) an application of this framework to a published QDB protocol. For this protocol we characterise the honest per-round acceptance probability under noise and lift it to the multi-round setting, yielding explicit completeness guarantees as a function of the number of fast rounds, the acceptance threshold, and the noise parameter. For active adversaries we bound the per-round success probability of distance-fraud attacks and analyse the best known mafia-fraud strategy, deriving corresponding multi-round soundness bounds. We also show that the protocol is inherently insecure against terrorist-fraud in our model. The framework cleanly separates protocol-independent definitions from protocol-specific analysis and can be used to evaluate existing and future QDB protocols on a common basis.
AI Impact Assessments
(3 models)Scientific Impact Assessment: Security Framework for Quantum Distance-Bounding
1. Core Contribution
The paper addresses the absence of a unified, game-based security framework for quantum distance-bounding (QDB) protocols. While classical DB has benefited from reusable frameworks (notably Boureanu et al. [10]), QDB protocols have been analyzed in ad-hoc, protocol-specific models without standardized security definitions. The authors contribute:
(i) A reusable framework that formalizes system/timing assumptions, a QPT adversary model, and game-based experiments for distance-fraud (DF), mafia-fraud (MF), and terrorist-fraud (TF), along with an i.i.d. depolarizing noise model.
(ii) Application of this framework to Abidin's 2019 QDB protocol, deriving explicit completeness guarantees under noise and multi-round soundness bounds for DF and MF, while demonstrating inherent TF insecurity.
The problem solved is primarily one of formalization and standardization rather than algorithmic innovation. The paper creates common ground for comparing QDB protocols — an essential prerequisite for the subfield's maturation.
2. Methodological Rigor
The methodology is sound but relatively straightforward. The framework closely follows the classical DB framework of Boureanu et al., with adaptations for quantum channels and QPT adversaries. The formal definitions (Definitions 1–13) are clearly stated and properly structured.
Strengths in rigor:
Weaknesses in rigor:
The multi-round bounds are standard applications of Chernoff-type concentration inequalities — technically correct but not novel.
3. Potential Impact
Within QDB research: The framework provides a much-needed common language for comparing protocols. Future QDB proposals can be evaluated using the same definitions, enabling apples-to-apples comparisons. This is a genuine service to the community, though the community itself is small.
Broader cryptographic impact: Limited. The framework is largely a transplant of classical DB security notions into the quantum setting. The quantum-specific insights (no-cloning preventing relay attacks, measurement disturbance) were already informally understood; the contribution is formalization rather than new conceptual insight.
Practical impact: The paper honestly acknowledges that the analyzed QDB protocol does not dominate classical DB (Table 1 shows QDB needs 416 rounds for MF security vs. 193 for Hancke-Kuhn at the 2^{-80} level). The requirement for quantum hardware in the fast phase remains a significant practical barrier. The framework could accelerate development of better QDB protocols, but the path to deployment remains long.
Adjacent fields: The relationship to quantum position verification (QPV) is noted but not deeply explored. The framework could potentially inform QPV security analyses, though the authors explicitly scope this out.
4. Timeliness & Relevance
QDB is a niche but growing area, with several recent proposals (entanglement-based, continuous-variable). The timing is reasonable — there are enough protocols to warrant standardization but the field is young enough that a framework can shape future work. However, quantum communication hardware for distance-bounding remains far from practical deployment, making the work somewhat anticipatory.
The paper addresses a real gap: no prior work provided game-based DF/MF/TF definitions for QDB. This is a legitimate contribution, though the gap existed partly because the QDB community is small.
5. Strengths & Limitations
Key Strengths:
Notable Limitations:
Overall Assessment
This is a competent formalization paper that fills a genuine gap in QDB research by providing standardized security definitions and demonstrating their application. The contribution is primarily organizational rather than technically deep — the proofs are elementary applications of known techniques, and the quantum-specific security insights are modest. The paper's value lies in enabling systematic comparison of QDB protocols and setting a standard for future security analyses. Its impact will depend on whether the QDB community grows and adopts this framework.
Generated Apr 20, 2026
Comparison History (40)
Paper 2 establishes a reusable, formalized security framework for quantum distance-bounding protocols, addressing a critical gap in quantum cryptography. Its standardization of attack models and security proofs has immediate, broad utility for designing and evaluating future quantum communication systems, offering higher practical impact and real-world relevance compared to the more niche, theoretical condensed matter focus of Paper 1.
Paper 2 likely has higher impact: it reports experimental results on a superconducting “soft” rhombus qubit with measured coherence (notably T1 ~500 μs) and identifies concrete noise mechanisms and an optimal operating regime, directly informing scalable quantum hardware design. Its applications span fault-tolerant architectures (biased-noise qubits) and superconducting circuit engineering, making it timely and broadly relevant. Paper 1 is methodologically rigorous and useful for standardizing security analyses of quantum distance-bounding, but it is more specialized and mainly provides a framework plus analysis of an existing protocol, with narrower near-term real-world uptake.
Paper 1 proposes a foundational, reusable security framework for quantum distance-bounding, addressing a critical gap in formalizing security guarantees for quantum communication. Its practical applicability to evaluating existing and future protocols gives it strong potential for real-world impact in quantum cryptography. While Paper 2 provides a valuable analytical derivation in quantum chaos, Paper 1's contribution to standardizing security models is likely to have broader, more immediate technological and applied impact across the rapidly growing field of quantum security.
Paper 2 addresses a critical bottleneck in quantum technologies—scalable energy transport and extraction—by introducing foundational architecture-level design principles for quantum battery networks. Its derivation of distinct scaling laws across topologies promises broader impact across quantum thermodynamics and device engineering. In contrast, while Paper 1 provides a rigorous and useful framework, it is more narrowly focused on standardizing the security analysis of a specific cryptographic application (quantum distance-bounding).
Paper 2 likely has higher impact: it introduces a reusable, game-based security framework for quantum distance-bounding with explicit adversary models and standard fraud experiments, enabling systematic evaluation/comparison of many future protocols. This is timely for quantum networking and authentication, has clear real-world relevance (contactless access, IoT, anti-relay attacks), and offers rigorous multi-round completeness/soundness bounds plus a concrete protocol case study. Paper 1 is mathematically rigorous and novel for non-Hermitian physics, but its impact is more specialized and may diffuse more slowly beyond the non-Hermitian/EP community.
Paper 1 likely has higher scientific impact because it tackles a pressing, practical bottleneck in superconducting quantum computing—control-line distortion limiting two-qubit gate fidelity—and demonstrates an experimentally validated, automatable calibration method (DPD with IIR/FIR) on real hardware. This is timely and directly applicable to scaling QPUs, with potential adoption across labs and industry. Paper 2 is methodologically rigorous and valuable for formalization in quantum cryptography, but its near-term real-world uptake is constrained by the maturity of quantum distance-bounding deployments and narrower application scope.
Paper 2 introduces a novel hardware architecture bridging programmable photonic processors with quantum technologies, demonstrating versatility across boson sampling, photon indistinguishability measurement, and temporal mode processing. Its breadth of applications across quantum computing, photonic neural networks, and microwave photonics gives it wider cross-disciplinary impact. Paper 1, while rigorous, addresses a narrower niche—formalizing security for quantum distance-bounding protocols—with primarily theoretical contributions and limited experimental validation. Paper 2's experimental platform orientation and multiple demonstrated functionalities suggest greater near-term practical impact and broader adoption potential.
Paper 1 establishes a foundational, reusable security framework for quantum distance-bounding protocols—filling a significant gap by providing the first unified game-based treatment of standard fraud attacks in the quantum setting. This kind of formal framework has broad, lasting impact: it enables systematic comparison and evaluation of all future QDB protocols. Paper 2, while a solid experimental demonstration, is more incremental—applying an existing robust shadow protocol to a trapped-ion device with artificially increased errors. Its contribution is primarily a case study rather than a conceptual or methodological advance with wide-reaching implications.
Paper 1 offers a broadly reusable, game-based security framework for quantum distance-bounding with explicit adversary models and formal experiments for standard fraud attacks, plus noise-aware completeness/soundness analyses and a clear negative result (terrorist-fraud insecurity). This combination of standardization, rigor, and general applicability can shape how future QDB protocols are designed and evaluated across quantum cryptography and secure ranging. Paper 2 is timely for NISQ circuit cutting, but appears more incremental (a decomposition tweak using ancillas) with impact mainly in quantum compilation/simulation and dependent on practical adoption and benchmarking breadth.
Paper 2 addresses quantum-enhanced metrology using variational quantum circuits, which is highly relevant for near-term (NISQ) devices. Quantum sensing has broad, immediate real-world applications across physics, chemistry, and engineering. While Paper 1 provides a valuable rigorous framework for quantum distance-bounding, its impact is largely confined to a more specialized niche within quantum cryptography.
Paper 1 tackles a foundational issue in quantum machine learning by introducing an interpretable quantum regression algorithm. By addressing the 'black-box' nature of variational quantum algorithms and reducing gate complexity, it enables practical, trustworthy deployment of QML across multiple disciplines. Paper 2 offers a valuable security framework for quantum distance-bounding, but its impact is confined to a narrower sub-domain of quantum cryptography. The broad applicability and high relevance of explainable AI/QML give Paper 1 a higher potential for widespread scientific impact.
Paper 1 establishes a reusable, game-based security framework for quantum distance-bounding protocols—filling a significant gap where only ad-hoc analyses existed. This foundational contribution enables systematic comparison of current and future QDB protocols and advances both quantum cryptography and secure positioning. Paper 2 proposes an angle-encoding Hadamard test variant for approximate cosine similarity, offering modest near-term utility but with acknowledged limitations (bias, large qubit footprint, approximation). Its contribution is more incremental and narrower in scope, whereas Paper 1 provides a lasting methodological foundation for an active area of quantum security research.
Paper 1 has higher likely impact due to immediate, large practical gains (average ~30% and up to ~98% resource reduction) on a broad benchmark suite, directly addressing a pressing bottleneck in fault-tolerant quantum computing workflows (resource estimation/compilation). The potential-game formulation plus convergent IBR algorithm is a concrete, deployable optimization that could propagate across compilers, architectures, and quantum applications. Paper 2 offers valuable rigor via a unifying security framework, but its applicability is narrower (QDB niche) and mainly formal/diagnostic rather than enabling substantial near-term performance or capability improvements.
Paper 2 proposes a reusable, foundational framework for evaluating quantum distance-bounding protocols, addressing a critical gap in quantum cryptography. Its standardization of security models and fraud experiments provides a broadly applicable tool for future research in quantum communication and cybersecurity, offering clearer and more immediate real-world impact compared to the highly specialized, theoretical physics focus of Paper 1.
Paper 2 is likely higher impact due to its broader, reusable contribution: a game-based security framework for quantum distance-bounding with explicit adversary models, fraud experiments, and noise handling, enabling standardized analysis across many future protocols. This kind of unifying methodology can shape an emerging subfield and influences both theory and implementations. Paper 1 is timely and applied, but its contribution is more specialized to a particular hardware constraint (finite-precision CIMs) and a specific application (dynamic portfolio QUBO), limiting breadth and longevity relative to a foundational security framework.
Paper 1 presents a fundamental experimental demonstration of a quantum eraser effect at the molecular level, bridging ultrafast light-matter interactions and quantum information science. Its novel experimental observation of entanglement and which-way information erasure in dissociative photoionization offers broad, profound implications for fundamental quantum physics. In contrast, Paper 2 provides a specialized theoretical framework for quantum distance-bounding security, which is valuable for cryptography but likely narrower in scope and overall scientific impact compared to the foundational physics breakthrough in Paper 1.
Paper 1 introduces a novel physical platform (yttrium ion) for quantum computing, backed by both experimental data and theoretical calculations. Identifying a new, highly capable qubit candidate addresses fundamental hardware scaling challenges, offering potentially massive impact across quantum information science. Paper 2 provides a valuable but more niche theoretical framework for quantum distance-bounding, which has a narrower scope of impact compared to advancing the core hardware underlying all of quantum computing.
Paper 2 likely has higher impact: it proposes a concrete, experimentally relevant protocol in superconducting circuit QED to generate non-Gaussian entangled squeezed Fock states, with analytical resonance conditions plus numerical validation. The results directly target enabling resources for fault-tolerant quantum computing and quantum metrology, giving broad applicability across quantum information, sensing, and hardware communities, and are timely given rapid progress in cavity–qubit platforms. Paper 1 is methodologically valuable (standardized security framework), but its impact is narrower to quantum distance-bounding and security analysis, with less immediate cross-field uptake.
Paper 1 offers a broadly reusable, game-based security framework for quantum distance-bounding, standardizing assumptions and fraud definitions and enabling systematic evaluation of current/future protocols—high novelty and cross-paper, cross-community leverage (cryptography, quantum comms, verification). Its results (explicit completeness/soundness under noise; identifying inherent terrorist-fraud insecurity) are immediately relevant to real-world proximity authentication and timely as QDB matures. Paper 2 presents a potentially powerful computational method, but its impact is narrower (specific Hamiltonian families) and depends on adoption/validation across many use cases.
Paper 1 extends high-precision quantum sensing into the previously unexplored low-frequency and quasi-DC regimes, offering immediate, high-impact real-world applications in smart grids and power systems. Its rigorous integration of Fisher Information and cavity-enhanced architectures provides a strong foundation for future experimental work, granting it broader interdisciplinary impact compared to the niche, albeit important, cryptographic formalization presented in Paper 2.