Simpl' protocol HLPSL specification

Published: 6 September 2024| Version 1 | DOI: 10.17632/5x23rjnt3z.1
Contributor:
Denis Trcek

Description

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

Licence