@inproceedings{BhargavanCCZ-CCS08, author = {Karthikeyan Bhargavan and Ricardo Corin and C\'edric Fournet and Eugen Zalinescu}, title = {Cryptographically {V}erified {I}mplementations for {TLS}}, booktitle = {15th ACM Conference on Computer and Communications Security (CCS'08)}, year = 2008, pages = {459--468}, publisher = {ACM Press}, doi = {10.1145/1455770.1455828}, }