Abstract
This paper presents a formal analysis of the QUIC protocol. This newly proposed protocol is currently under the process of standardization, and it is still unknown whether the proposed protocol provides the claimed security guarantees. To fill this gap, we model the QUIC handshake protocol in the applied pi calculus and perform a comprehensive formal analysis using ProVerif. To the best of our knowledge, this is the first thorough study on the formal analysis of QUIC handshake protocol.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have