Symbolic Tamarin models of standards-grounded QKD protocols reveal three control-plane vulnerabilities and confirm two countermeasures.
A largely self-contained and complete security proof for quantum key distribution,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 1years
2026 1verdicts
REJECT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution
Symbolic Tamarin models of standards-grounded QKD protocols reveal three control-plane vulnerabilities and confirm two countermeasures.