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.
forked from tls13tamarin/TLS13Tamarin
-
Notifications
You must be signed in to change notification settings - Fork 0
nikstuckenbrock/TLS13Tamarin
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This is a Tamarin model of TLS 1.3
Resources
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Makefile 61.8%
- Python 38.2%