WSKE4PUF protocol HLPSL file
Published: 22 January 2024| Version 1 | DOI: 10.17632/6c9bh5d4gg.1
Contributor:
Denis TrcekDescription
This file contains a formal description of WKSE4PUF protocol for formal verification with AVISPA.
Files
Steps to reproduce
Use AVISPA formal verification package.
Categories
Formal Verification