Squirrel Prover is an interactive prover for the formal verification of #security #protocols https://github.com/squirrel-prover/squirrel-prover #OCaml