aiqbench analysis
This research resolves a critical gap in practical quantum cryptography by providing the first finite-key security proof that simultaneously accounts for both source and detector imperfections in BB84-type protocols. By introducing a modular lifting theorem, the authors enable rigorous certification of real-world Quantum Key Distribution systems against general coherent attacks without relying on idealized infinite-round assumptions. This advancement is essential for deploying secure quantum networks where device flaws are inevitable.
Security of quantum key distribution with source and detector imperfections through phase-error estimation
arXiv:2507.03549v2 Announce Type: replace Abstract: Quantum key distribution promises information-theoretic security, but practical implementations face vulnerabilities due to device imperfections. Existing security proofs typically address source and detector imperfections separately and cannot be directly combined, while the few attempts to handle both simultaneously have assumed idealized scenarios with infinitely many protocol rounds, which is insufficient to certify the security of real-world systems. Here, we close this gap by introducing a modular lifting theorem that extends any (present or future) phase-error-based security proof for BB84-type protocols to incorporate detector efficiency mismatches. By applying this theorem to a state-of-the-art analysis for source imperfections, we obtain the first finite-key security proof against general coherent attacks that simultaneously addresses both source and detector imperfections.
Abstract:Quantum key distribution promises information-theoretic security, but practical implementations face vulnerabilities due to device imperfections. Existing security proofs typically address source and detector imperfections separately and cannot be directly combined, while the few attempts to handle both simultaneously have assumed idealized scenarios with infinitely many protocol rounds, which is insufficient to certify the security of real-world systems. Here, we close this gap by introducing a modular lifting theorem that extends any (present or future) phase-error-based security proof for BB84-type protocols to incorporate detector efficiency mismatches. By applying this theorem to a state-of-the-art analysis for source imperfections, we obtain the first finite-key security proof against general coherent attacks that simultaneously addresses both source and detector imperfections.
24 pages, 6 figures. v2: accepted manuscript. Compared to v1: expanded discussion and comparison with prior work, included additional simulations, and slightly tightened the phase-error bound. Main text and supplementary material are merged into a single document
arXiv:2507.03549 [quant-ph]
(or arXiv:2507.03549v2 [quant-ph] for this version)
https://doi.org/10.1038/s41534-026-01264-5 DOI(s) linking to related resources
Full text under the publisher's open licence · 166 words
Related coverage

Researchers Enhance Device-Independent Quantum Key Distribution with Multiple Sources
Quantum Zeitgeist · Jul 16, 2026

University of Waterloo builds on prepare-and-measure QKD
Quantum Zeitgeist · Sep 18, 2026

Single-Photon QKD Works With Imperfect, Real-World Devices
Quantum Zeitgeist · Aug 11, 2026

Detectors With Efficiency Flaws Still Enable QKD Security
Quantum Zeitgeist · May 31, 2026