@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} }