TY  - RPRT
TI  - FVQKD: A Formal Verification of Quantum Key Distribution Security in Rocq
AU  - Ruixuan Deng
AU  - Zhengfeng Ji
AU  - Jiayu Zhang
AU  - Li Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2610.30645
ID  - 2610.30645
ER  -