Tamarin prover

Tamarin prover's repositories

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellGPL-3.0392 25 373

Teaching materials related to the Tamarin Prover

Tamarin prover manual: source files

Language:JavaScript23 12 39

Source repository for the tamarin-prover.github.io github pages.

Language:HTML5 7 2

Homebrew tap for installing the Tamarin prover

Language:Ruby4 6 1

Repository for text editor syntax highlighting

Language:Vim ScriptGPL-3.02 80

Repository for text editor (sublime) syntax highlighting

Language:PythonGPL-3.0100

Binary files

050