A Haskell implementation of VerifPal™, a system for describing and analysing cryptographic protocols
Primary LanguageHaskell