@inproceedings{MSTT18,
  author        = {Sjouke Mauw and Zach Smith and Jorge Toro-Pozo and Rolando Trujillo-Rasua},
  title         = {Distance-Bounding Protocols: Verification without Time and Location},
  booktitle     = {{IEEE} Symposium on Security and Privacy (Oackland), S{\&}P'18, May 21--23, 2018, San Francisco, California, {USA}},
  month         = {may},
  year          = {2018},
  note          = {(to appear)}
}