Implementing and Proving the TLS 1.3 Record Layer

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Jean Karim Zinzindohoue. Implementing and Proving the TLS 1.3 Record Layer. IACR Cryptology ePrint Archive, 2016:1178, 2016. [doi]

Abstract

Abstract is missing.