GitHub topics: tamarin
viperproject/protocol-verification-refinement
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
Language: Haskell - Size: 99.9 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
kemtls/Tamarin-multi-stage-model
Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
Language: Makefile - Size: 22.9 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1
SoundVerification/wireguard 📦
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Language: Haskell - Size: 99.9 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2
linwe2012/tamarin
An vscode extension for highlighting tamarin-prover.
Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 4
