@inproceedings{MauwSTT18,
  author        = {Sjouke Mauw and Zach Smith and Jorge Toro{-}Pozo and Rolando Trujillo{-}Rasua},
  title         = {Distance-Bounding Protocols: Verification without Time and Location},
  booktitle     = {2018 {IEEE} Symposium on Security and Privacy, {S\&P} 2018, Proceedings, 21-23 May 2018, San Francisco, California, {USA}},
  pages         = {549--566},
  year          = {2018},
  url           = {https://doi.org/10.1109/SP.2018.00001},
  doi           = {10.1109/SP.2018.00001}
}