Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer. Verifying List Swarm Attestation Protocols. In Ioana Boureanu, Steve Schneider, Bradley Reaves, Nils Ole Tippenhauer, editors, Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2023, Guildford, United Kingdom, 29 May 2023 - 1 June 2023. pages 163-174, ACM, 2023. [doi]
@inproceedings{Le-PapinDTW23,
title = {Verifying List Swarm Attestation Protocols},
author = {Jay Le-Papin and Brijesh Dongol and Helen Treharne and Stephan Wesemeyer},
year = {2023},
doi = {10.1145/3558482.3581778},
url = {https://doi.org/10.1145/3558482.3581778},
researchr = {https://researchr.org/publication/Le-PapinDTW23},
cites = {0},
citedby = {0},
pages = {163-174},
booktitle = {Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2023, Guildford, United Kingdom, 29 May 2023 - 1 June 2023},
editor = {Ioana Boureanu and Steve Schneider and Bradley Reaves and Nils Ole Tippenhauer},
publisher = {ACM},
isbn = {978-1-4503-9859-6},
}