Skip to content

jhoyla/TLS13Tamarin

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 

Repository files navigation

TLS13Tamarin

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.

About

This is a Tamarin model of TLS 1.3

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • M4 54.2%
  • C 18.4%
  • TeX 10.2%
  • Makefile 8.8%
  • C++ 8.4%