@InProceedings{Santos_2019_INForum_STOP,
  author    = {Henrique F. Santos, Miguel L. Pardal},
  title     = {{Operation STOP: secure itinerary verification for smart vehicle inspections}},
  booktitle = {INForum},
  year      = {2019},
  address   = {Guimar\~{a}es, Portugal},
  month     = sep,
}