@misc{indiciaefe61c3d2e624, title = {A Formal Basis for Quantum Cryptographic Exposure Measurement under HNDL Threat}, author = {Matheus Rufino and Rafael Duarte Marcelino and Julio Smanioto Garcia}, year = {2026}, url = {https://arxiv.org/abs/2605.22569}, note = {Source identifier: 2605.22569} }