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 ...
For introduction and releases, see the ONE homepage at GitHub. For instructions on how to get started, see the README. The wiki page has the latest information.
This is a Maven plugin for building Docker images and managing containers for integration tests. It works with Maven 3.0.5 and Docker 1.6.0 or later.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results