A Security Model and Fully Verified Implementation for the IETF QUIC Record LayerOpen Website

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou

2020 (modified: 02 Sept 2022)IACR Cryptol. ePrint Arch. 2020Readers: Everyone
0 Replies