Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, et al.. A Messy State of the Union: Taming the Composite State Machines of TLS.
IEEE Symposium on Security & Privacy 2015, May 2015, San Jose, United States.
⟨hal-01114250⟩