Cryptographically verified implementations for TLS. (2008)

by K Bhargavan, C Fournet, R Corin, E Zalinescu
Venue:In ACM Conference on Computer and Communications Security,