Automated security protocol verification tool

Current versions

tamarin-prover requires the following formulae to be installed:
haskell-stack 1.6.3 The Haskell Tool Stack
ocaml 4.06.0 General purpose programming language in the ML family
zlib 1.2.11 General-purpose lossless data-compression library
maude 2.7.1_1 reflective language for equational and rewriting logic specification
graphviz 2.40.1 Graph visualization software from AT&T and Bell Labs

Recent formula history

Jorden Whitefield tamarin-prover 1.2.2
Jorden Whitefield tamarin-prover: Build Tamarin with SAPIC as default
Martin Dehnel-Wild tamarin-prover 1.2.1 (new formula)

Formula code at GitHub