Cryptographically verified implementations for TLS

We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the Transport Layer

• Type: Conference
• Year: 2008
• Where: CCS
• Authors: Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
• Keywords: CCS 2008, Cryptographic Protocols, Security Privacy, Small Functional Implementation