miTLS

swMATH27823MaRDI QIDQ39537FDOQ39537

Author name not available (Why is that?)

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

Cited In (8)

• 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
• 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