@phdthesis{Jorge2019,
  title         = {Computational and Symbolic Analysis of Distance-Bounding Protocols .},
  author        = {Jorge Toro Pozo},
  year          = {2019},
  school        = {{University of Luxembourg}}
}