@misc{indiciaefccb779e617d,
  title = {An Automated Analysis of the Security of Quantum Key Distribution},
  author = {Rajagopal Nagarajan and Nikolaos Papanikolaou and Garry Bowen and Simon Gay},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0502048},
  note = {Source identifier: cs/0502048}
}