@inproceedings{GilPons2022,
  title         = {Is {{Eve}} Nearby? {{Analysing}} Protocols under the Distant-Attacker Assumption},
  booktitle     = {{{IEEE Computer Security Foundations Symposium}}},
  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}
}