A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
Antoine Delignat-LavaudCédric FournetBryan ParnoJonathan ProtzenkoTahina RamananandroJay BosamiyaJoseph LallemandItsaka RakotonirinaYi ZhouPublished in: IACR Cryptol. ePrint Arch. (2020)