@inproceedings{CSF22a,
  title         = {Is Eve nearby? Analysing protocols under the distant-attacker assumption},
  booktitle     = {IEEE Computer Security Foundations Symposium 2022 (CSF2022), August, 2022, Haifa, Israel},
  year          = {2022},
  author        = {Reynaldo Gil-Pons and Ross Horne and Sjouke Mauw and Alwen Tiu and Rolando Trujillo},
  note          = {to appear},
  url           = {https://satoss.uni.lu/members/ross/pdf/eve.pdf},
  doi           = {10.1109/CSF54842.2022.9919655},
  pages         = {17-32}
}