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.

Mediated Asymmetric Semi-Quantum Key Distribution

Efficient Mediated Semi-Quantum Key Distribution Protocol Using Single Qubits

Lightweight Mediated Semi-Quantum Key Distribution Protocol with a Dishonest Third Party based on Bell States

Measurement-free mediated semi-quantum key distribution protocol based on single-particle states

Multi-party quantum key distribution protocol in quantum network

A novel hybrid protocol for semiquantum key distribution and semiquantum secret sharing

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

Limited Resource Semi-Quantum Key Distribution

Semiquantum Key Distribution Using Initial States in Only One Basis Without the Classical User Measuring

On the lightweight authenticated semi-quantum key distribution protocol without Trojan horse attack

End-to-end QKD network with non-localized trust

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

Experimental Quantum Key Distribution Secure Against Malicious Devices

Quantum Key Distribution in the Classical Authenticated Key Exchange Framework

Asymmetric mode-pairing quantum key distribution

Lightweight Quantum Security Protocols

Device-Independent Quantum Key Distribution Based on the Mermin-Peres Magic Square Game

Asymmetric Protocols for Scalable High-Rate Measurement-Device-Independent Quantum Key Distribution Networks

Quantum multiparty key distribution protocol without use of entanglement

Fully measurement-device-independent two-way quantum key distribution with finite single-photon sources