miTLS

MaRDI QIDQ39537swMATHFDO

Official website https://www.mitls.org./

Cited in

(9)

• A cryptographic analysis of the TLS 1.3 handshake protocol
• On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
• NAXOS
• TRX
• CppMem
• diy7
• herd7
• HaNS
• Engineering with logic. Rigorous test-oracle specification and validation for TCP/IP and the sockets API

This page was built for software: miTLS