A Formal Basis for Quantum Cryptographic Exposure Measurement under HNDL Threat | ArxivCSExplorer