Implementing and Proving the TLS 1.3 Record LayerOpen Website

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

2016 (modified: 31 Mar 2022)IACR Cryptol. ePrint Arch. 2016Readers: Everyone
0 Replies