Security proofs for practical QKD: Variations, techniques, gaps, and limitationsRemoveDevashish Tupkary, Ernest Y.-Z. Tan, Shlok Nahar, Lars Kamin, and Norbert LütkenhausRev. Mod. Phys. 98, 035003 (2026)