Acronyms
AEP
Asymptotic Equipartition Property: links the smooth min- and
max-entropy of an i.i.d. state to the von Neumann entropy.
BB84
Bennett-Brassard 1984 (protocol): arguably the earliest and most
popular QKD protocol, devised by Bennett and Brassard in 1984.
BS
Beam Splitter: optical device that splits incoming light into a
transmitted and a reflected beam.
CHSH
Clauser-Horne-Shimony-Holt (inequality): a bipartite Bell inequality.
CKA
(Quantum) Conference Key Agreement: the task of establishing a
secret key among several parties, the conference key, with quantum
resources.
DI
Device-independent (protocol): the security of the intended protocol
holds independently of the functioning of the employed quantum
devices (sources, measurement apparatuses).
DICKA
Device-independent (Quantum) Conference Key Agreement.
DIQKD
Device-independent Quantum Key Distribution.
DIRG
Device-independent Randomness Generation.
EAT
Entropy Accumulation Theorem: theoretical result that quantifies the
entropy accumulated in sequential rounds of a DI protocol. It
generalizes the AEP to non-i.i.d. scenarios.
EC
Error Correction: the classical task of correcting the errors affecting a
bitstring that is supposed to coincide with another bitstring.
GHZ
Greenberger–Horne–Zeilinger (state): a GME state that is commonly
used in quantum cryptography.
GLLP
Gottesman-Lo-Lütkenhaus-Preskill (proof): a security proof for QKD
protocols implemented with WCPs.
GME
Genuine Multipartite Entangled (state): a multiparty quantum state
that cannot be written as a convex combination of biseparable states.
HOM
Hong-Ou-Mandel (effect): optical interference effect experienced by
two indistinguishable photons.
xv
AEP
Asymptotic Equipartition Property: links the smooth min- and
max-entropy of an i.i.d. state to the von Neumann entropy.
BB84
Bennett-Brassard 1984 (protocol): arguably the earliest and most
popular QKD protocol, devised by Bennett and Brassard in 1984.
BS
Beam Splitter: optical device that splits incoming light into a
transmitted and a reflected beam.
CHSH
Clauser-Horne-Shimony-Holt (inequality): a bipartite Bell inequality.
CKA
(Quantum) Conference Key Agreement: the task of establishing a
secret key among several parties, the conference key, with quantum
resources.
DI
Device-independent (protocol): the security of the intended protocol
holds independently of the functioning of the employed quantum
devices (sources, measurement apparatuses).
DICKA
Device-independent (Quantum) Conference Key Agreement.
DIQKD
Device-independent Quantum Key Distribution.
DIRG
Device-independent Randomness Generation.
EAT
Entropy Accumulation Theorem: theoretical result that quantifies the
entropy accumulated in sequential rounds of a DI protocol. It
generalizes the AEP to non-i.i.d. scenarios.
EC
Error Correction: the classical task of correcting the errors affecting a
bitstring that is supposed to coincide with another bitstring.
GHZ
Greenberger–Horne–Zeilinger (state): a GME state that is commonly
used in quantum cryptography.
GLLP
Gottesman-Lo-Lütkenhaus-Preskill (proof): a security proof for QKD
protocols implemented with WCPs.
GME
Genuine Multipartite Entangled (state): a multiparty quantum state
that cannot be written as a convex combination of biseparable states.
HOM
Hong-Ou-Mandel (effect): optical interference effect experienced by
two indistinguishable photons.
xv