{"id":"arxiv/2608.07626","url":"https://arxiv.org/abs/2608.07626","tags":["quant-ph","cs.CR","cs.SC"],"score":0,"title":"Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution","domain":"quant-ph","source":"arxiv","authors":["Ali Hamza Malik","Raja Hasnain Anwar","Muhammad Taqi Raza"],"reviews":0,"subject":"quant-ph","summary":"Quantum Key Distribution (QKD) protocols provide information-theoretic security by using quantum mechanical principles. Yet QKD is fundamentally a hybrid protocol: its security depends on the correct integration of the quantum phase with classical post-processing. While ETSI and ITUT specifications standardize QKD architectures and interfaces, they evaluate protocol security in isolation, leaving cross-layer interactions as an underexplored attack surface. This paper introduces a formal verification framework that holistically models QKD protocols based on ETSI and ITUT QKD specifications.…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}