@inproceedings{GilPons2022a,
  title         = {Is {{Eve}} Nearby? {{Analysing}} Protocols under the Distant-Attacker Assumption},
  booktitle     = {{{IEEE Computer Security Foundations Symposium}}, {{August}} 7-10, 2022, {{Haifa}}, {{Israel}}},
  author        = {Gil Pons, Reynaldo and Horne, Ross James and Mauw, Sjouke and {Trujillo-Rasua}, Rolando and Tiu, Alwen},
  year          = {2022},
  doi           = {10.1109/CSF54842.2022.9919655},
  pages         = {17-32}
}