/dolev-yao-star

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

Primary LanguageOCaml

Watchers

No one’s watching this repository yet.