@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},
}