Meret Kristen, Jürgen Mottok. Security Proof Techniques for QKD and Applications to Critical Infrastructures. In Mark Manulis, editor, Applied Cryptography and Network Security Workshops - ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 23-26, 2025, Revised Selected Papers, Part III. Volume 15655 of Lecture Notes in Computer Science, pages 218-222, Springer, 2025. [doi]
Abstract is missing.