/dolev-yao-star

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Primary LanguageOCaml

No issues in this repository yet.