FASAP.zip (2.23 MB)
Tamarin Models for "Verifying List Swarm Attestation Protocols"
Version 2 2023-02-09, 16:44
Version 1 2023-01-20, 13:09
software
posted on 2023-02-09, 16:44 authored by Jay Le-Papin, Brijesh DongolBrijesh Dongol, Helen TreharneHelen Treharne, Stephan WesemeyerStephan WesemeyerTamarin models and proofs of SIMPLE+ and its variations for the paper "Verifying List Swarm Attestation Protocols" to appear in WiSEC 2023.
https://doi.org/10.1145/3558482.3581778
The proofs have been tested with Tamarin 1.6.1.
Funding
Verifiably Correct Swarm Attestation
Engineering and Physical Sciences Research Council
Find out more...Verifiably Correct Transactional Memory
Engineering and Physical Sciences Research Council
Find out more...RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Engineering and Physical Sciences Research Council
Find out more...Design and verification of correct, efficient and secure concurrent systems
Australian Research Council
Find out more...