Abstract:Key establishment is a crucial primitive for building secure channels in a multi-party setting. Without quantum mechanics, key establishment can only be done under the assumption that some computational problem is hard. Since digital communication can be easily eavesdropped and recorded, it is important to consider the secrecy of information anticipating future algorithmic and computational discoveries which could break the secrecy of past keys, violating the secrecy of the confidential channel.Quantum key distribution (QKD) can be used generate secret keys that are secure against any future algorithmic or computational improvements. QKD protocols still require authentication of classical communication, although existing security proofs of QKD typically assume idealized authentication. It is generally considered folklore that QKD when used with computationally secure authentication is still secure against an unbounded adversary, provided the adversary did not break the authentication during the run of the protocol.We describe a security model for quantum key distribution extending classical authenticated key exchange (AKE) security models. Using our model, we characterize the long-term security of the BB84 QKD protocol with computationally secure authentication against an eventually unbounded adversary. By basing our model on traditional AKE models, we can more readily compare the relative merits of various forms of QKD and existing classical AKE protocols. This comparison illustrates in which types of adversarial environments different quantum and classical key agreement protocols can be secure.

Burning the Trojan Horse: Defending against Side-Channel Attacks in QKD

State-Blocking Side-Channel Attacks and Autonomous Fault Detection in Quantum Key Distribution

Foiling covert channels and malicious classical post-processing units in quantum key distribution

Risk analysis of Trojan-horse attacks on practical quantum key distribution systems

Improved finite-key security analysis of quantum key distribution against Trojan-horse attacks

Trojan-horse attack on a real-world quantum key distribution system: Theoretical and experimental security analysis

Chip-Based Quantum Key Distribution against Trojan-Horse Attack

State-discrimination Attack on Discretely Modulated Continuous-Variable Quantum Key Distribution

Improved security bounds against the Trojan-Horse attack in decoy-state quantum key distribution

Physical Security of Chip-Based Quantum Key Distribution Devices

Improved Finite-Key Security Analysis of Measurement-Device-Independent Quantum Key Distribution Against a Trojan-Horse Attack

Security Analysis Against the Trojan Horse Attack on Practical Polarization-Encoding Quantum Key Distribution Systems

A security framework for quantum key distribution implementations

Phase-remapping Attack in Practical Quantum-Key-distribution Systems

Practical Semi-Quantum Key Distribution with One-Way Key and One Basis.

Practical Security Bounds Against the Trojan-Horse Attack in Quantum Key Distribution

Tight Security Bounds for Decoy-State Quantum Key Distribution

Quantum Key Distribution in the Classical Authenticated Key Exchange Framework

Mitigating the source-side channel vulnerability by characterization of photon statistics

Quantum Key Distribution: Security, Feasibility and Robustness