Cryptographic security of quantum key distribution

Abstract

This work is intended as an introduction to cryptographic security and a motivation for the widely used Quantum Key Distribution (QKD) security definition. We review the notion of security necessary for a protocol to be usable in a larger cryptographic context, i.e., for it to remain secure when composed with other secure protocols. We then derive the corresponding security criterion for QKD. We provide several examples of QKD composed in sequence and parallel with different cryptographic schemes to illustrate how the error of a composed protocol is the sum of the errors of the individual protocols. We also discuss the operational interpretations of the distance metric used to quantify these errors.

31+23 pages. 28 figures. Comments and questions welcome

References in corpus (1)

• A Proof of the Security of Quantum Key Distribution

Cited by in corpus (29)

• Entropic Uncertainty Relations and their Applications
• Simple and tight device-independent security proofs
• Quantum Conference Key Agreement: A Review
• Device-independent randomness expansion against quantum side information
• A largely self-contained and complete security proof for quantum key distribution
• Entropy accumulation
• Fully device independent Conference Key Agreement
• Composable security of delegated quantum computation
• Security analysis of quantum key distribution with small block length and its application to quantum space communications
• Towards a realization of device-independent quantum key distribution
• Improved DIQKD protocols with finite-size analysis
• Quantum authentication with key recycling
• Second-order coding rates for key distillation in quantum key distribution
• Guessing probability in quantum key distribution
• An Overview of the State of the Art for Practical Quantum Key Distribution
• Composable and Finite Computational Security of Quantum Message Transmission
• What The Trace Distance Security Criterion in Quantum Key Distribution Does And Does Not Guarantee
• Composably secure device-independent encryption with certified deletion
• Categorical composable cryptography
• Categorical composable cryptography: extended version
• Correlations and randomness generation based on energy constraints
• (Quantum) Min-Entropy Resources
• Are quantum cryptographic security claims vacuous?
• Symbolic Abstractions for Quantum Protocol Verification
• Application of quantum Pinsker inequality to quantum communications
• Security of Quantum Key Distribution from Attacker's View
• Yuen's Criticisms on Security of Quantum Key Distribution and Onward
• Security of Quantum Key Distribution
• QKD parameter estimation by two-universal hashing