Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3

Article Details
Title:	Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3
Article URLs:	https://doi.org/10.1109/SP.2016.34 http://doi.ieeecomputersociety.org/10.1109/SP.2016.34
Alternative Article URLs:
Authors:	Marc Fischlin	Technische Universität Darmstadt, Cryptoplexity
	Felix Günther	Technische Universität Darmstadt, Cryptoplexity
	Benedikt Schmidt	IMDEA Software Institute
	Bogdan Warinschi	University of Bristol
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1523467
DBLP Key:	conf/sp/FischlinGSW16
Author Comments:

IEEE Security and Privacy, S&P 2016