Accepted
IEEE Quantum Week 2026
Beyond the Quantum Promise: A Security Analysis of Classical Control in QKD
August 07, 2026
A formal verification framework, built in Tamarin, that models the classical control plane around QKD protocols and uncovers three specification-level vulnerabilities in ETSI- and ITU-T-grounded protocol models.