IPDL-II

A new process logic aimed at formal proofs for cryptographic algorithm
Is freely licensed? ✅
Website https://github.com/kristinas/IPDL-Maude
Source https://github.com/kristinas/IPDL-Maude
NLNet grant pages