puyral/dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
OCaml
Watchers
No one’s watching this repository yet.
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
OCaml
No one’s watching this repository yet.