@misc{indiciae61262fe1ff3d,
  title = {Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols},
  author = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
  year = {2017},
  doi = {10.3233/jcs-0560},
  url = {https://arxiv.org/abs/1702.03504},
  note = {Source identifier: 1702.03504}
}