@article{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:journals/tissec/BhargavanFCZ12,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Ricardo Corin and
               Eugen Zalinescu},
  title     = {Verified Cryptographic Implementations for TLS},
  journal   = {ACM Trans. Inf. Syst. Secur.},
  volume    = {15},
  number    = {1},
  year      = {2012},
  pages     = {3},
  ee        = {http://doi.acm.org/10.1145/2133375.2133378},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}