Tamarin prover

Zurich, Switzerland; Saarbruecken, Germany; Nancy, France

Pinned Repositories

binaries
Binary files
0 5 01
editor-sublime
Repository for text editor (sublime) syntax highlighting
Language:Python12
editors
Repository for text editor syntax highlighting
Language:Vim Script2 8 04
homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby4 6 17
manual
Tamarin prover manual: source files
Language:JavaScript23 12 3939
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell388 25 372123
tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML5 7 24
teaching
Teaching materials related to the Tamarin Prover
58 8 46

Tamarin prover's Repositories

tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell388 25 372123
tamarin-prover/teaching
Teaching materials related to the Tamarin Prover
58 8 46
tamarin-prover/manual
Tamarin prover manual: source files
Language:JavaScript23 12 3939
tamarin-prover/tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML5 7 24
tamarin-prover/homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby4 6 17
tamarin-prover/editors
Repository for text editor syntax highlighting
Language:Vim Script2 8 04
tamarin-prover/editor-sublime
Repository for text editor (sublime) syntax highlighting
Language:Python12
tamarin-prover/binaries
Binary files
0 5 01