TY  - RPRT
TI  - Automated verification of countermeasure against detector-control attack in quantum key distribution
AU  - Polina Acheva
AU  - Konstantin Zaitsev
AU  - Vladimir Zavodilenko
AU  - Anton Losev
AU  - Anqi Huang
AU  - Vadim Makarov
PY  - 2023
DO  - 10.1140/epjqt/s40507-023-00178-x
UR  - https://arxiv.org/abs/2305.18610
ID  - 2305.18610
ER  -