Implementing and Proving the TLS 1.3 Record Layer
by Antoine Delignat-Lavaud and
Cédric Fournet and
Markulf Kohlweiss and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella-Béguelin and
Karthikeyan Bhargavan and
Jianyang Pan and
Jean Karim Zinzindohoue