In this thesis we develop practical tools for quantum key distribution (QKD) security proofs.
We apply the tools to provide security proofs for several protocols, ranging from discrete …

In this paper, we derive key-rate expressions for different quantum key distribution protocols.
Our key-rate equations utilize multiple channel statistics, including those gathered from …

Quantum key distribution (QKD) protocols with threshold detectors are driving high-
performance QKD demonstrations. The corresponding security proofs usually assume that …

A practical quantum key distribution (QKD) protocol necessarily runs in finite time and,
hence, only a finite amount of communication is exchanged. This is in contrast to most of the …

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 …

Quantum key distribution (QKD) allows for communication with security guaranteed by
quantum theory. The main theoretical problem in QKD is to calculate the secret key rate for a …

Quantum Key Distribution (QKD) is a promising technology for secure communication.
Nevertheless, QKD is still treated with caution in certain contexts due to potential gaps …

This thesis is concerned with quantum key distribution (QKD), a cryptographic primitive
allowing two distant parties, Alice and Bob, to establish a secret key, in spite of the presence …

The security of quantum key distribution (QKD) has been proven for different protocols, in
particular for the BB84 protocol. It has been shown that this scheme is robust against …

All the currently available unconditional security proofs on quantum key distribution, in
particular for the BB84 protocol and its variants including continuous-variable ones, are …