@misc{indiciae7716784d178b,
  title = {Automated verification of countermeasure against detector-control attack in quantum key distribution},
  author = {Polina Acheva and Konstantin Zaitsev and Vladimir Zavodilenko and Anton Losev and Anqi Huang and Vadim Makarov},
  year = {2023},
  doi = {10.1140/epjqt/s40507-023-00178-x},
  url = {https://arxiv.org/abs/2305.18610},
  note = {Source identifier: 2305.18610}
}