Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua. Is Eve nearby? Analysing protocols under the distant-attacker assumption. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 17-32, IEEE, 2022. [doi]
@inproceedings{PonsHMTT22, title = {Is Eve nearby? Analysing protocols under the distant-attacker assumption}, author = {Reynaldo Gil Pons and Ross Horne and Sjouke Mauw and Alwen Tiu and Rolando Trujillo-Rasua}, year = {2022}, doi = {10.1109/CSF54842.2022.9919655}, url = {https://doi.org/10.1109/CSF54842.2022.9919655}, researchr = {https://researchr.org/publication/PonsHMTT22}, cites = {0}, citedby = {0}, pages = {17-32}, booktitle = {35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022}, publisher = {IEEE}, isbn = {978-1-6654-8417-6}, }