rsasse

Pinned Repositories

homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby0 2 00
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell1 4 00
tamarin-prover-docker
Docker image for tamarin-prover
Language:Dockerfile0 2 00
tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML1 3 00
editors
Repository for text editor syntax highlighting
Language:Vim Script2 8 15
homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby4 6 17
manual
Tamarin prover manual: source files
25 12 3939
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell439 25 385136
tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML5 8 24
teaching
Teaching materials related to the Tamarin Prover
68 8 47

rsasse's Repositories

rsasse/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell1 4 00
rsasse/tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML1 3 00
rsasse/homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby0 2 00
rsasse/tamarin-prover-docker
Docker image for tamarin-prover
Language:Dockerfile0 2 00