This is a Tamarin Prover model of TLS 1.3. It is based on the work from Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott and Thyla van der Merwe. For a detailed information take a look at the documentation. The proofs generated for this model are too large to track in a forked repository, therefor the repository nikstuckenbrock/TLS13Tamarin-proofs holds all proofs. All proofs related to this model are in the ref-rfc-8446 subfolder.
nikstuckenbrock/TLS13Tamarin
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|