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]
Abstract is missing.