Cryptographically verified implementations for TLS

Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 ◽

10.1145/1455770.1455828 ◽

2008 ◽

Author(s):

Karthikeyan Bhargavan ◽

Cédric Fournet ◽

Ricardo Corin ◽

Eugen Zalinescu

Download Full-text