Finite-size security of QKD: comparison of three proof techniques

Gabriele Staffieri, Giovanni Scala, Cosmo Lupo

We compare three proof techniques for composable finite-size security of quantum key distribution under collective attacks, with emphasis on how the resulting secret-key rates beha…