Cryptographically verified implementations for TLS (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Reference:
Cryptographically verified implementations for TLS (Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu), In ACM Conference on Computer and Communications Security, 2008.
Bibtex Entry:
@inproceedings{BhargavanFCZ08,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Ricardo Corin and
               Eugen Zalinescu},
  title     = {Cryptographically verified implementations for TLS},
  booktitle = {ACM Conference on Computer and Communications Security},
  year      = {2008},
  pages     = {459-468},
pdf="pubs/cryptographically-verified-implementations-for-tls-ccs08.pdf",
url="pubs/cryptographically-verified-implementations-for-tls-ccs08.pdf",
}