A consolidated and accessible security proof for finite-size decoy-state quantum key distribution | Publicación