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