History

The history of the model consists of three specific versions. The first version of the model was related to Draft 10 of the TLS specification and published in 2016. In the next year an updated version for Draft 21 was released. In 2025 the model was optimized and aligned to RFC 8446.

• 2025 (RFC 8446) - TLS 1.3 Tamarin model
• 2017 (Draft 21) - A Comprehensive Symbolic Analysis of TLS 1.3
• 2016 (Draft 10) - Automated Analysis of TLS 1.3: 0-RTT, Resumption and Delayed Authentication