Security and Communication Networks

Research Article

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

Figure 2

Initial handshake process of QUIC.