TY - RPRT TI - A Formal Basis for Quantum Cryptographic Exposure Measurement under HNDL Threat AU - Matheus Rufino AU - Rafael Duarte Marcelino AU - Julio Smanioto Garcia PY - 2026 UR - https://arxiv.org/abs/2605.22569 ID - 2605.22569 ER -