This is a Tamarin model of TLS 1.3
The most recent code is included in src/rev21, however we provide previous versions for reference.
For a detailed comparison between the specification and our model, please see: https://samscott89.github.io/TLS13_Tamarin
For more background information, including our previous publication, please visit our project page.