Cryptographically verified implementations for tls (2008)

by Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Venue:In ACM Conference on Computer and Communications Security–CCS