Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu. Cryptographically verified implementations for TLS. In Peng Ning, Paul F. Syverson, Somesh Jha, editors, Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008. pages 459-468, ACM, 2008. [doi]
Abstract is missing.