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

Table 5

Verification results of ProVerif.

Security properties		Results
		False	False
		True	True
					False	False
					True
			False	False
			False