Implementing and Proving the TLS 1.3 Record Layer

Article Details
Title:	Implementing and Proving the TLS 1.3 Record Layer
Article URLs:	https://doi.org/10.1109/SP.2017.58 http://doi.ieeecomputersociety.org/10.1109/SP.2017.58
Alternative Article URLs:
Authors:	Antoine Delignat-Lavaud	Microsoft Reseach
	Cédric Fournet	Microsoft Reseach
	Markulf Kohlweiss	Microsoft Reseach
	Jonathan Protzenko	Microsoft Reseach
	Aseem Rastogi	Microsoft Reseach
	Nikhil Swamy	Microsoft Reseach
	Santiago Zanella Béguelin	Microsoft Reseach
	Karthikeyan Bhargavan	INRIA Paris-Rocquencourt
	Jianyang Pan	INRIA Paris-Rocquencourt
	Jean Karim Zinzindohoue	INRIA Paris-Rocquencourt
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://project-everest.github.io/record/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sp/Delignat-Lavaud17
Author Comments:

IEEE Security and Privacy, S&P 2017