IEEE Security and Privacy, S&P 2017


Article Details
Title: Implementing and Proving the TLS 1.3 Record Layer
Article URLs:
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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sp/Delignat-Lavaud17
Author Comments:

Discuss this paper and its artifacts below