The QUIC protocol is a Google-designed protocol providing a secure, authenticated replacement for TLS/TCP (i.e., to replace https).
Papers related to QUIC protocol
- Formal specification and testing of QUIC [mcmillan:sigcomm:2019]
- Interoperability-guided testing of QUIC implementations using symbolic execution [rath:epiq:2018]