Software:Tamarin Prover
From HandWiki
 | |
 | |
| Original author(s) | David Basin, Cas Cremers, Jannik Dreier, Simon Meier, Ralf Sasse, Benedikt Schmidt |
|---|---|
| Developer(s) | Cas Cremers, Jannik Dreier, Ralf Sasse |
| Initial release | April 24, 2012 |
| Stable release | 1.4.1
/ January 18, 2019 |
| Repository | github |
| Written in | Haskell |
| Operating system | Linux, macOS |
| Available in | English |
| Type | Automated reasoning |
| License | GNU GPL v3 |
| Website | tamarin-prover |
Tamarin Prover is a computer software program for formal verification of cryptographic protocols. It has been used to verify Transport Layer Security 1.3,[1] ISO/IEC 9798,[2] DNP3 Secure Authentication v5,[3] and WireGuard.[4][5][6][7]
References
- ↑ Cremers, Cas; Horvat, Marko; Scott, Sam; van der Merwe, Thyla (2016). "Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication". IEEE S&P 2016. pp. 470–485. doi:10.1109/SP.2016.35. ISBN 978-1-5090-0824-7. https://tls13tamarin.github.io/TLS13Tamarin/.
- ↑ Basin, David; Cremers, Cas; Meier, Simon (2013). "Provably repairing the ISO/IEC 9798 standard for entity authentication". Journal of Computer Security 21 (6): 817–846. doi:10.3233/JCS-130472. https://www.cs.ox.ac.uk/people/cas.cremers/downloads/papers/BCM2013-iso9798-JCS.pdf.
- ↑ Cremers, Cas; Dehnel-Wild, Martin; Milner, Kevin (2017). "Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5". ESORICS 2017. Oslo, Norway: Springer. pp. 389–407. doi:10.1007/978-3-319-66402-6_23. ISBN 978-3-319-66401-9. http://www.cs.ox.ac.uk/people/cas.cremers/downloads/papers/CrDeMi2017-DNP3-extended.pdf.
- ↑ Donenfeld, Jason A.; Milne, Kevin (2018), Formal Verification of the WireGuard Protocol, https://www.wireguard.com/papers/wireguard-formal-verification.pdf, retrieved 2023-11-23; Donenfeld, Jason A., Formal Verification, https://www.wireguard.com/formal-verification/, retrieved 2023-11-23
- ↑ Schmidt, Benedikt; Meier, Simon; Cremers, Cas; Basin, David (2012). "Automated analysis of Diffie-Hellman protocols and advanced security properties". CSF 2012. Cambridge, MA: IEEE Computer Society. pp. 78–94. https://www.cs.ox.ac.uk/people/cas.cremers/downloads/papers/ScMeCrBa2012-tamarin.pdf.
- ↑ Schmidt, Benedikt (2012). Formal analysis of key exchange protocols and physical protocols (PhD thesis). doi:10.3929/ethz-a-009898924.
- ↑ Meier, Simon (2012). Advancing automated security protocol verification (PhD thesis). doi:10.3929/ethz-a-009790675.
External links
- Tamarin Prover official website
- David Wong created an introductory video on the Tamarin Prover.
 |  |
