tamarin-prover / tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
- Repository stars
- 560All-time #57,625
- Fork
- 170
- Last push
- updated 1 days ago
- Repository created
- since 2012
About
Main source code repository of the Tamarin prover for security protocol verification.Summarised by AI from the README; the original prevails
Author description: Main source code repository of the Tamarin prover for security protocol verification.
Basic listing based on official public information; functionality has not been independently evaluated.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.