A Formal Basis for Quantum Cryptographic Exposure Measurement under HNDL Threat

Matheus Rufino, Rafael Duarte Marcelino, Julio Smanioto Garcia

An adversary copies your encrypted traffic today and waits for a quantum computer to decrypt it later. How exposed are you? We show that the functional form of the answer is not me…