Andrew Cook, Luca Viganò 0001. Formal Analysis of Security Protocols with Movement. In Francesco Buccafurri, Elena Ferrari, Gianluca Lax, editors, Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023. Volume 3488 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
@inproceedings{Cook023,
title = {Formal Analysis of Security Protocols with Movement},
author = {Andrew Cook and Luca Viganò 0001},
year = {2023},
url = {https://ceur-ws.org/Vol-3488/paper14.pdf},
researchr = {https://researchr.org/publication/Cook023},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023},
editor = {Francesco Buccafurri and Elena Ferrari and Gianluca Lax},
volume = {3488},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}