IPDL

Equational Proofs for Distributed Cryptographic Protocols
Is freely licensed? ✅
Website https://github.com/kristinas/IPDL-Maude
Source https://github.com/kristinas/IPDL-Maude
NLNet grant pages