Reynald Affeldt, Nicolas Marti. Towards formal verification of TLS network packet processing written in C. In Matthew Might, David Van Horn, Andreas Abel 0001, Tim Sheard, editors, Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. pages 35-46, ACM, 2013. [doi]
Abstract is missing.