Verified Cryptographic Implementations for TLS (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Reference:
Verified Cryptographic Implementations for TLS (Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu), In ACM Transactions Inf. Syst. Secur., ACM, volume 15, 2012.
Bibtex Entry:
@article{BhargavanFCZ2012,
 author = {Bhargavan, Karthikeyan and Fournet, C{\'e}dric and Corin, Ricardo and Zalinescu, Eugen},
 title = {Verified Cryptographic Implementations for {TLS}},
 journal = {ACM Transactions Inf. Syst. Secur.},
 issue_date = {March 2012},
 volume = {15},
 number = {1},
 month = Mar, 
 year = {2012},
 issn = {1094-9224},
 pages = {3:1--3:32},
 articleno = {3},
 numpages = {32},
 acmid = {2133378},
 publisher = {ACM},
 address = {New York, NY, USA},
 url = "pubs/cryptographically-verified-implementations-for-tls-tissec.pdf",
 pdf = "pubs/cryptographically-verified-implementations-for-tls-tissec.pdf"
}