State machine inference of QUIC

Preprint English OPEN
Rasool, Abdullah; Alpár, Greg; de Ruiter, Joeri;
  • Subject: Computer Science - Networking and Internet Architecture

QUIC is a recent transport protocol that provides reliable, secure and quick service on top of UDP in the internet. As QUIC is implemented in the application space rather than in the operating system's kernel, it is more efficient to dynamically develop and roll out. Cu... View more
  • References (13)
    13 references, page 1 of 2

    [1] Dana Angluin. Learning regular sets from queries and counterexamples. Information and computation, 75(2):87{106, 1987.

    [2] Gaetano Carlucci, Luca De Cicco, and Saverio Mascolo. HTTP over UDP: an experimental investigation of QUIC. In Proc. of Symposium on Applied Computing (SAC), pages 609{614. ACM, 2015.

    [3] Britt Cyr, Jeremy Dorfman, Ryan Hamilton, Jana Iyengar, Fedor Kouranov, Charles Krasic, Jo Kulik, Adam Langley, Jim Roskind, Robbie Shade, Satyam Shekhar, Cherie Shi, Ian Swett, Raman Tenneti, Victor Vasiliev, Antonio Vicente, Patrik Westin, Alyssa Wilk, Dale Worley, Fan Yang, Dan Zhang, and Daniel Ziegler. QUIC wire layout speci cation. Technical report, Google, 2016.

    [4] Joeri de Ruiter and Erik Poll. Protocol state fuzzing of TLS implementations. In Proc. of USENIX Security Symposium, 2015.

    [5] Marc Fischlin and Felix Gunther. Multi-stage key exchange and the case of Google's QUIC protocol. In Proc. of SIGSAC Conference on Computer and Communications Security (CCS), pages 1193{1204. ACM, 2014.

    [6] Paul Fiterau-Brostean, Ramon Janssen, and Frits Vaandrager. Combining model learning and model checking to analyze TCP implementations. In Proc. of International Conference on Computer Aided Veri cation (CAV), pages 454{471. Springer, 2016.

    [7] Ilya Grigorik. High Performance Browser Networking: What every web developer should know about networking and web performance. O'Reilly, 2013.

    [8] Arash Molavi Kakhki, Samuel Jero, David Cho nes, Cristina NitaRotaru, and Alan Mislove. Taking a long look at QUIC: An approach for rigorous evaluation of rapidly evolving transport protocols. In Proc. of Internet Measurement Conference (IMC), pages 290{303. ACM, 2017.

    [9] Adam Langley, Alistair Riddoch, Alyssa Wilk, Antonio Vicente, Charles Krasic, Dan Zhang, Fan Yang, Fedor Kouranov, Ian Swett, Janardhan Iyengar, et al. The quic transport protocol: Design and internet-scale deployment. In Proc. of Special Interest Group on Data Communication (SIGCOMM), pages 183{196. ACM, 2017.

    [10] Robert Lychev, Samuel Jero, Alexandra Boldyreva, and Cristina NitaRotaru. How secure and quick is QUIC? Provable security and performance analyses. In Proc. of Security and Privacy (S&P), pages 214{231. IEEE, 2015.

  • Related Research Results (4)
  • Metrics
Share - Bookmark