Automata Wiki

The SUT

For the SUT several real TLS implementations are used:

• GnuTLS 3.3.8 and 3.3.12
• miTLS 0.1.3
• NSS 3.17.4
• OpenSSL 1.0.1g,j,l and 1.0.2
• RSA BSAFE C 4.0.4
• RSA BSAFE Java 6.1.1