Abstract: This work presents a security analysis of the QUIC handshake protocol based on symbolic model checking. As a newly proposed secure transport protocol, the purpose of QUIC is to improve the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results