Sara Nikula, Anssi Lintulampi, Kimmo Halunen: Security Analysis for BB84 Key Distillation. SECRYPT 2024: 407-415