Implementing TLS with Verified Cryptographic Security (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub
Reference:
Implementing TLS with Verified Cryptographic Security (Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub), In IEEE Symposium on Security & Privacy (Oakland), 2013.
Bibtex Entry:
@InProceedings{BhargavanFKPS13,
  title = {Implementing TLS with Verified Cryptographic Security},
  booktitle = {IEEE Symposium on Security \& Privacy (Oakland)},
  year = 2013,
  url= "pubs/implementing-tls-with-verified-cryptographic-security-sp13.pdf",
  pdf= "pubs/implementing-tls-with-verified-cryptographic-security-sp13.pdf",
  author = {Karthikeyan Bhargavan and C{\'e}dric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub}
}