@article {50,
	title = {Verified Cryptographic Implementations for TLS},
	journal = {ACM Trans. Inf. Syst. Secur.},
	volume = {15},
	year = {2012},
	pages = {3},
	author = {Karthikeyan Bhargavan and C{\'e}dric Fournet and Corin, Ricardo and Eugen Zalinescu}
}