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