Security proofs for practical QKD: variations, techniques, gaps, and limitations

Abstract

We review the current status of security proofs for practical decoy-state Quantum Key Distribution using the BB84 protocol, focusing on optical implementations with weak coherent pulses and threshold photodetectors. The primary aim of this review is to highlight gaps in the existing literature. Such gaps may arise, for instance, from mismatches between detailed protocol specifications and proof technique elements, reliance on earlier results based on different assumptions, or protocol choices that overlook real world requirements. While substantial progress has been made, our overview draws attention to the details that still demand careful attention.

Accepted for publication at Reviews of Modern Physics

References in corpus (79)

• Quantum cryptography: Public key distribution and coin tossing
• The Security of Practical Quantum Key Distribution
• Decoy State Quantum Key Distribution
• Secure quantum key distribution with realistic devices
• Beating the PNS attack in practical quantum cryptography
• Practical Decoy State for Quantum Key Distribution
• The operational meaning of min- and max-entropy
• Tight Finite-Key Analysis for Quantum Cryptography
• An information-theoretic security proof for QKD protocols
• The Uncertainty Relation for Smooth Entropies
• Finite-key analysis for measurement-device-independent quantum key distribution
• Concise Security Bounds for Practical Decoy-State Quantum Key Distribution
• Security in Quantum Cryptography
• Experimental Long-Distance Decoy-State Quantum Key Distribution Based On Polarization Encoding
• Experimental Quantum Key Distribution with Decoy States
• Post-selection technique for quantum channels with applications to quantum cryptography
• Long distance decoy state quantum key distribution in optical fiber
• Quantum Information Processing with Finite Resources -- Mathematical Foundations
• Leftover Hashing Against Quantum Side Information
• Lower and upper bounds on the secret key rate for QKD protocols using one--way classical communication
• A Fully Quantum Asymptotic Equipartition Property
• Quantum conditional mutual information and approximate Markov chains
• Efficient decoy-state quantum key distribution with quantified security
• Practical issues in quantum-key-distribution post-processing
• Loss-tolerant quantum cryptography with imperfect sources
• Advances in device-independent quantum key distribution
• Trevisan's extractor in the presence of quantum side information
• Simple and tight device-independent security proofs
• Improved key rate bounds for practical decoy-state quantum key distribution systems
• Squashing Models for Optical Measurements in Quantum Communication
• Finite-key analysis on the 1-decoy state QKD protocol
• General paradigm for distilling classical key from quantum states
• A largely self-contained and complete security proof for quantum key distribution
• Reliable numerical key rates for quantum key distribution
• Entropy accumulation
• Composability in quantum cryptography
• Security proof for QKD systems with threshold detectors
• Quantum key distribution with correlated sources
• Key distillation from quantum channels using two-way communication protocols
• Entropy accumulation with improved second-order term
• Key recycling in authentication
• Security of device-independent quantum key distribution protocols: a review
• Experimental quantum key distribution with simulated ground-to-satellite photon losses and processing limitations
• Tight finite-key security for twin-field quantum key distribution
• Finite-key security analysis of quantum key distribution with imperfect light sources
• Numerical Calculations of Finite Key Rate for General Quantum Key Distribution Protocols
• Squashing model for detectors and applications to quantum key distribution protocols
• Security of quantum key distribution from generalised entropy accumulation
• Dual universality of hash functions and its applications to quantum cryptography
• Dimension Reduction in Quantum Key Distribution for Continuous- and Discrete-Variable Protocols
• Finite-key security analysis for quantum key distribution with leaky sources
• Security proof of practical quantum key distribution with detection-efficiency mismatch
• Security of quantum key distribution with intensity correlations
• Lightweight authentication for quantum key distribution
• Noisy Preprocessing and the Distillation of Private States
• Quantum key distribution with setting-choice-independently correlated light sources
• Universal Squash Model For Optical Communications Using Linear Optics And Threshold Detectors
• Security bounds for efficient decoy-state quantum key distribution
• Security of decoy-state quantum key distribution with correlated intensity fluctuations
• Security of quantum key distribution with imperfect phase randomisation
• Security of discrete-modulated continuous-variable quantum key distribution
• Decoy State Quantum Key Distribution With More Than Three Types Of Photon Intensity Pulses
• Imperfect Phase-Randomisation and Generalised Decoy-State Quantum Key Distribution
• Tight finite-key analysis for passive decoy-state quantum key distribution under general attacks
• Leftover hashing from quantum error correction: Unifying the two approaches to the security proof of quantum key distribution
• Security Proof for Variable-Length Quantum Key Distribution
• Postselection technique for optical Quantum Key Distribution with improved de Finetti reductions
• Using Cascade in Quantum Key Distribution
• Entanglement verification with detection-efficiency mismatch
• Security bounds for decoy-state QKD with arbitrary photon-number statistics
• Squash Operator and Symmetry
• Numerical Method for Finite-size Security Analysis of Quantum Key Distribution
• Security of differential phase shift QKD from relativistic principles
• Improved Decoy-state and Flag-state Squashing Methods
• Application of an Improved Version of McDiarmid Inequality in Finite-Key-Length Decoy-State Quantum Key Distribution
• Quantum circuit for security proof of quantum key distribution without encryption of error syndrome and noisy processing
• A consolidated and accessible security proof for finite-size decoy-state quantum key distribution
• Categorical composable cryptography: extended version
• Imperfect detectors for adversarial tasks with applications to quantum key distribution