The finite key effect of side-channel-secure quantum key distribution beyond post-selection technique
This work proves that the secure key length for the SCS protocol can be determined after Cascade error correction, and clarifies the security justification of key-rate formulas used in practical variable-length QKD implementations.