@article{BhargavanCCZ-TISSEC12, author = {Karthikeyan Bhargavan and Ricardo Corin and C\'edric Fournet and Eugen Zalinescu}, title = {Cryptographically {V}erified {I}mplementations for {TLS}}, journal = {ACM Transactions on Information and System Security}, year = 2012, pages = {3:1--3:32}, volume = {15}, number = {1}, doi = {10.1145/2133375.2133378}, }