Akiss

swMATH20605MaRDI QIDQ32423

No author found.

Source code repository: https://github.com/akiss/akiss

Described by source

• Automated Verification of Equivalence Properties of Cryptographic Protocols