Published August 30, 2023
| Version 1.8.0
Software
Open
Tamarin Prover 1.8.0
Authors/Creators
- 1. ETH Zurich
- 2. CISPA Helmholtz Center for Information Security
- 3. Université de Lorraine
- 4. CNRS
- 5. Inria
- 6. LORIA
Description
The Tamarin prover is a security protocol verification tool that supports both falsification (attack finding) and unbounded verification (proving) in the symbolic model. Security protocols are specified as multiset rewriting systems and analyzed with respect to temporal first-order properties.
Files
tamarin-prover/tamarin-prover-1.8.0.zip
Files
(18.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:514b87dd4fc1b9e36292f2f0bd6c5b30
|
18.9 MB | Preview Download |
Additional details
Identifiers
Related works
- Is supplement to
- Software: https://github.com/tamarin-prover/tamarin-prover/tree/1.8.0 (URL)
Software
- Repository URL
- https://github.com/tamarin-prover/tamarin-prover
- Development Status
- Active