Simpl' protocol HLPSL specification
Published: 6 September 2024| Version 1 | DOI: 10.17632/5x23rjnt3z.1
Contributor:
Denis TrcekDescription
This file contains HLPSL specification of authenticated key-exchange protocol called Simpl' (based solely on cryptographic one-way hash functions), which is quantum computing resistant and suitable for IoT devices. The HLPSL file can be used with AVISPA formal verification tool.
Files
Steps to reproduce
Use AVISPA tool.
Institutions
Univerza v Ljubljani
Categories
Security Protocol, Formal Verification