Security and Communication Networks

Research Article

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

Figure 1

QUIC in the traditional HTTPS stack.