Cryptographically verified implementations for TLS.

Karthikeyan Bhargavan, Cdric Fournet, Ricardo Corin, Eugen Zalinescu

Browse the full CCS paper archive.