Closed-form finite-key scaling for the Bennett-Brassard 1984 protocol with device imperfectionsRemoveKaushik Dehingia and Nimisha DuttaPhys. Rev. A 114, 042602 (2026)