Quantum Key Distribution with Imperfections: Recent Advances in Security Proofs
arXiv:2602.05057 · doi:10.1007/s13538-026-02062-2
Abstract
In contrast to classical public-key cryptosystems, where the security of encoded messages relies on on computational assumptions, Quantum Key Distribution (QKD) enables two distant parties to establish a shared secret key that, when combined with a one-time pad, provides information-theoretically secure encryption, provided that the QKD protocol is supported by a rigorous security proof. In the last decades, security proofs robust against a wide range of eavesdropping strategies have established the theoretical soundness of several QKD protocols. However, most proofs are based on idealized models of the physical systems involved in such protocols and often include assumptions that are not satisfied in practical implementations. This mismatch creates a gap between theoretical security guarantees and actual experimental realizations, making QKD protocols vulnerable to attacks. To ensure the security of real-world QKD systems, it is therefore essential to account for imperfections in security analyses. In this article, we present an overview of recent analytical and numerical developments in QKD security proofs, which provide a versatile approach for incorporating imperfections and re-establishing the security of quantum communication protocols under realistic conditions.
55 pages; 10 figures. Version 2: New examples and references added. Close to the published version in the Special Issue "100 years of Quantum Mechanics" of the Brazilian Journal of Physics
References in corpus (122)
- Quantum cryptography: Public key distribution and coin tossing
- The Security of Practical Quantum Key Distribution
- Bell nonlocality
- Decoy State Quantum Key Distribution
- Advances in Quantum Cryptography
- Satellite-to-ground quantum key distribution
- Device-independent security of quantum cryptography against collective attacks
- Steering, Entanglement, Nonlocality, and the EPR Paradox
- Secure quantum key distribution with realistic devices
- Beating the PNS attack in practical quantum cryptography
- Quantum key distribution using gaussian-modulated coherent states
- Secure Quantum Key Distribution
- Hacking commercial quantum cryptography systems by tailored bright illumination
- Practical Decoy State for Quantum Key Distribution
- Distillation of secret key and entanglement from quantum states
- The Uncertainty Principle in the Presence of Quantum Memory
- Quantum cryptography protocols robust against photon number splitting attacks for weak laser pulses implementations
- Satellite-relayed intercontinental quantum network
- One-sided Device-Independent Quantum Key Distribution: Security, feasibility, and the connection with steering
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- Practical challenges in quantum key distribution
- From Bell's Theorem to Secure Quantum Key Distribution
- The operational meaning of min- and max-entropy
- Entropic Uncertainty Relations and their Applications
- Tight Finite-Key Analysis for Quantum Cryptography
- Quantum Steering
- Device-independent quantum key distribution secure against collective attacks
- Bounding the set of quantum correlations
- The Uncertainty Relation for Smooth Entropies
- Quantum steering: a review with focus on semidefinite programming
- Quantum random number generation
- Concise Security Bounds for Practical Decoy-State Quantum Key Distribution
- Security in Quantum Cryptography
- Secure device-independent quantum key distribution with causally independent measurement devices
- Quantum cryptography with finite resources: unconditional security bound for discrete-variable protocols with one-way post-processing
- Continuous-Variable Quantum Key Distribution with Gaussian Modulation -- The Theory of Practical Implementations
- Self-testing of quantum systems: a review
- Post-selection technique for quantum channels with applications to quantum cryptography
- Distributing Secret Keys with Quantum Continuous Variables: Principle, Security and Implementations
- Entanglement as precondition for secure quantum key distribution
- Symmetry implies independence
- Experimental device-independent quantum key distribution between distant users
- Implementation of Continuous-Variable Quantum Key Distribution with Composable and One-Sided-Device-Independent Security Against Coherent Attacks
- Conjectured Strong Complementary Information Tradeoff
- A Fully Quantum Asymptotic Equipartition Property
- Experimentally faking the violation of Bell's inequalities
- Trojan-horse attacks threaten the security of practical quantum cryptography
- Loss-tolerant quantum cryptography with imperfect sources
- Secure quantum key distribution with an uncharacterized source
- Advances in device-independent quantum key distribution
- Quantum Conference Key Agreement: A Review
- Simple and tight device-independent security proofs
- Finite-key analysis on the 1-decoy state QKD protocol
- A largely self-contained and complete security proof for quantum key distribution
- Finite-key analysis for practical implementations of quantum key distribution
- Risk analysis of Trojan-horse attacks on practical quantum key distribution systems
- Convergent relaxations of polynomial optimization problems with non-commuting variables
- Laser damage helps the eavesdropper in quantum cryptography
- Reliable numerical key rates for quantum key distribution
- Entropy accumulation
- Photonic verification of device-independent quantum key distribution against collective attacks
- Simple 2.5 GHz time-bin quantum key distribution
- Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
- Weak randomness in device independent quantum key distribution and the advantage of using high dimensional entanglement
- Concise and Tight Security Analysis of the Bennett-Brassard 1984 Protocol with Finite Key Lengths
- Bounding the set of finite dimensional quantum correlations
- Quantum key distribution with correlated sources
- Information theoretic treatment of tripartite systems and quantum channels
- Effect of source tampering in the security of quantum cryptography
- Device-Independent Quantum Key Distribution with Random Key Basis
- Finite-key security against coherent attacks in quantum key distribution
- Simple and high-speed polarization-based QKD
- Entropy accumulation with improved second-order term
- Semidefinite Programming in Quantum Information Science
- Finite-size security of continuous-variable quantum key distribution with digital signal processing
- Security of device-independent quantum key distribution protocols: a review
- Semidefinite programming relaxations for quantum correlations
- Unification of different views of decoherence and discord
- Numerical Calculations of Finite Key Rate for General Quantum Key Distribution Protocols
- How to implement decoy-state quantum key distribution for a satellite uplink with 50 dB channel loss
- Security of quantum key distribution from generalised entropy accumulation
- Towards a realization of device-independent quantum key distribution
- Dimension Reduction in Quantum Key Distribution for Continuous- and Discrete-Variable Protocols
- Device-independent lower bounds on the conditional von Neumann entropy
- Decoy-State Quantum Key Distribution over a Long-Distance High-Loss Underwater Free-Space Channel
- Robust Interior Point Method for Quantum Key Distribution Rate Computation
- Device-independent quantum key distribution based on Bell inequalities with more than two inputs and two outputs
- Min-entropy and quantum key distribution: non-zero key rates for "small" numbers of signals
- Quantum key distribution rates from semidefinite programming
- Semi-definite programming and quantum information
- Security of quantum key distribution with detection-efficiency mismatch in the multiphoton case
- Security Proof for Variable-Length Quantum Key Distribution
- Finite-key security analysis of differential-phase-shift quantum key distribution
- Postselection technique for optical Quantum Key Distribution with improved de Finetti reductions
- Continuous-variable quantum communication
- Imperfect Phase-Randomisation and Generalised Decoy-State Quantum Key Distribution
- Device-Independent Quantum Key Distribution Based on Routed Bell Tests
- Using Cascade in Quantum Key Distribution
- Integral formula for quantum relative entropy implies data processing inequality
- Numerical Method for Finite-size Security Analysis of Quantum Key Distribution
- Secure Key Rate of the BB84 Protocol using Finite Sample Bits
- Improved finite-size key rates for discrete-modulated continuous variable quantum key distribution under coherent attacks
- Towards Global Quantum Key Distribution
- Quantum key distribution with simply characterized light sources
- Security of differential phase shift QKD from relativistic principles
- Advances in Continuous Variable Measurement-Device-Independent Quantum Key Distribution
- The future of secure communications: device independence in quantum key distribution
- Certifying long-range quantum correlations through routed Bell tests
- Entropy bounds for device-independent quantum key distribution with local Bell test
- Key Rate of the B92 Quantum Key Distribution Protocol with Finite Qubits
- Finite-size analysis of prepare-and-measure and decoy-state QKD via entropy accumulation
- Quantum key distribution with any two independent and identically distributed states
- Sharp finite statistics for quantum key distribution
- Quantum key distribution rates from non-symmetric conic optimization
- Advantage Distillation for Quantum Key Distribution
- Generalized Numerical Framework for Improved Finite-Sized Key Rates with Rényi Entropy
- An introductory review of the theory of continuous-variable quantum key distribution: Fundamentals, protocols, and security
- Loss-tolerant quantum key distribution with detection efficiency mismatch
- Generalized Rényi entropy accumulation theorem and generalized quantum probability estimation
- Numerical security analysis for quantum key distribution with partial state characterization
- Comment on "Geometry of the quantum set on no-signaling faces"
- A de Finetti theorem for quantum causal structures