A Messy State of the Union: Taming the Composite State Machines of TLS

Article Details
Title:	A Messy State of the Union: Taming the Composite State Machines of TLS
Article URLs:	https://doi.org/10.1109/SP.2015.39 http://doi.ieeecomputersociety.org/10.1109/SP.2015.39 https://www.wikidata.org/entity/Q56639652
Alternative Article URLs:
Authors:	Benjamin Beurdouche	INRIA Paris-Rocquencourt
	Karthikeyan Bhargavan	INRIA Paris-Rocquencourt
	Antoine Delignat-Lavaud	INRIA Paris-Rocquencourt
	Cédric Fournet	Microsoft Research
	Markulf Kohlweiss	Microsoft Research
	Alfredo Pironti	INRIA Paris-Rocquencourt
	Pierre-Yves Strub	IMDEA Software Institute
	Jean Karim Zinzindohoue	INRIA Paris-Rocquencourt Ecole des Ponts ParisTech
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sp/BeurdoucheBDFKP15
Author Comments:

IEEE Security and Privacy, S&P 2015