Quantum cryptography with finite resources: unconditional security bound for discrete-variable protocols with one-way post-processing

Valerio Scarani, Renato Renner

We derive a bound for the security of QKD with finite resources under one-way post-processing, based on a definition of security that is composable and has an operational meaning.…