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},
  ee        = {http://doi.acm.org/10.1145/1455770.1455828},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser