Quantum key distribution: from security proofs to implementations

A. Acín European Quantum Technologies Conference 2023 Hannover, Germany, 16-20 October 2023