Akiss (Q32423)

From MaRDI portal

Jump to:navigation, search

No description defined

Language	Label	Description	Also known as
English	Akiss	No description defined

Statements

described by source

Automated Verification of Equivalence Properties of Cryptographic Protocols

0 references

MaRDI profile type

MaRDI software profile

0 references

source code repository

https://github.com/akiss/akiss

0 references

Identifiers

0 references

Software Heritage ID

swh:1:snp:b6f131e742033b3300e8c41744d391920b61eaa0

source code repository

https://github.com/akiss/akiss

28 September 2023

0 references

Sitelinks

Mathematics(1 entry)

mardi Software:32423

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q32423&oldid=33134693"