GitHub repository: tls13tamarin/TLS13Tamarin
Primary language: M4
Created: 2016-02-09T15:13:19Z
Description: This is a Tamarin model of TLS 1.3