How Secure and Quick Is QUIC? Provable Security and Performance Analyses
eprint.iacr.org