01▲Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution arxiv.org What breaks in QKD when the classical control plane is underspecified? Tamarin says, three spec-level attacks.cryptanalysisformal-verificationlinkedinpost-quantumprotocol-securityquantum-key-distributiontamarin0 pts/karl64/22 days ago/discuss