A Messy State of the Union: Taming the Composite State Machines of TLS.
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
VenueA*SP
Year2015
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/BeurdoucheBDFKP15 ↗
Browse the full SP paper archive.