A Generic Security Proof for Quantum Key Distribution

Abstract

Quantum key distribution allows two parties, traditionally known as Alice and Bob, to establish a secure random cryptographic key if, firstly, they have access to a quantum communication channel, and secondly, they can exchange classical public messages which can be monitored but not altered by an eavesdropper, Eve. Quantum key distribution provides perfect security because, unlike its classical counterpart, it relies on the laws of physics rather than on ensuring that successful eavesdropping would require excessive computational effort. However, security proofs of quantum key distribution are not trivial and are usually restricted in their applicability to specific protocols. In contrast, we present a general and conceptually simple proof which can be applied to a number of different protocols. It relies on the fact that a cryptographic procedure called privacy amplification is equally secure when an adversary's memory for data storage is quantum rather than classical.

Analysis of B92 protocol added

References in corpus (14)

• Mixed State Entanglement and Quantum Error Correction
• Simple Proof of Security of the BB84 Quantum Key Distribution Protocol
• Unconditional Security Of Quantum Key Distribution Over Arbitrarily Long Distances
• Optimal eavesdropping in quantum cryptography with six states
• Quantum repeaters based on entanglement purification
• Incoherent and Coherent Eavesdropping in the 6-state Protocol of Quantum Cryptography
• Fidelity of Single Qubit Maps
• Unconditionally Secure Key Distribution Based on Two Nonorthogonal States
• Limits for compression of quantum information carried by ensembles of mixed states
• A Proof of the Security of Quantum Key Distribution
• A security proof of quantum cryptography based entirely on entanglement purification
• Efficient Quantum Key Distribution Scheme And Proof of Its Unconditional Security
• Security of EPR-based Quantum Key Distribution
• Dense Quantum Coding and a Lower Bound for 1-way Quantum Automata

Cited by in corpus (31)

• The Uncertainty Principle in the Presence of Quantum Memory
• Security in Quantum Cryptography
• Mediated Semi-Quantum Key Distribution
• The Structure of Bipartite Quantum States - Insights from Group Theory and Cryptography
• A de Finetti representation for finite symmetric quantum states
• Decoy state quantum key distribution with two-way classical post-processing
• The Bounded Storage Model in The Presence of a Quantum Adversary
• Quantum key distribution based on private states: unconditional security over untrusted channels with zero quantum capacity
• Practical Evaluation of Security for Quantum Key Distribution
• On Approximately Symmetric Informationally Complete Positive Operator-Valued Measures and Related Systems of Quantum States
• Full security of quantum key distribution from no-signaling constraints
• Subcarrier wave continuous variable quantum key distribution with discrete modulation: mathematical model and finite-key analysis
• Qutrit-based semi-quantum key distribution protocol
• An Automated Analysis of the Security of Quantum Key Distribution
• Efficiency in Quantum Key Distribution Protocols with Entangled Gaussian States
• The Physics of Quantum Information: Complementarity, Uncertainty, and Entanglement
• Security of quantum key distribution using weak coherent states with nonrandom phases
• Key Rate of the B92 Quantum Key Distribution Protocol with Finite Qubits
• Finite-key analysis of the six-state protocol with photon-number-resolution detectors
• General model of quantum key distribution
• Quantum Information with Continuous Variable systems
• A Study of Channel Estimation and Postprocessing in Quantum Key Distribution Protocols
• Generic Security Proof of Quantum Key Exchange using Squeezed States
• Are quantum cryptographic security claims vacuous?
• Quantum channel based on correlated twin laser beams
• Quantum Key Distribution in the Classical Authenticated Key Exchange Framework
• Better short-seed quantum-proof extractors
• Short seed extractors against quantum storage
• Relativistic quantum key distribution system with one-way quantum communication
• Quantum cryptography with correlated twin laser beams
• From Information Theory Puzzles in Deletion Channels to Deniability in Quantum Cryptography