publication . Preprint . 2019

State machine inference of QUIC

Rasool, Abdullah; Alpár, Greg; de Ruiter, Joeri;
Open Access English
  • Published: 11 Mar 2019
Abstract
Comment: 13 pages, 4 figures
Subjects
free text keywords: Computer Science - Networking and Internet Architecture
Download from

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

[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. [OpenAIRE]

[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. [OpenAIRE]

[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. [OpenAIRE]

[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. [OpenAIRE]

[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. [OpenAIRE]

[11] Chris McMahon Stone, Tom Chothia, and Joeri de Ruiter. Extending automated protocol state learning for the 802.11 4-way handshake. In Proc. of European Symposium on Research in Computer Security (ESORICS), pages 325{345. Springer, 2018.

[12] Peter Megyesi, Zsolt Kramer, and Sandor Molnar. How quick is QUIC? In Proc. of International Conference on Communications (ICC), pages 1{6. IEEE, 2016.

[13] Oliver Niese. An integrated approach to testing complex systems. PhD thesis, Universitat Dortmund, 2003. [OpenAIRE]

Abstract
Comment: 13 pages, 4 figures
Subjects
free text keywords: Computer Science - Networking and Internet Architecture
Download from

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

[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. [OpenAIRE]

[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. [OpenAIRE]

[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. [OpenAIRE]

[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. [OpenAIRE]

[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. [OpenAIRE]

[11] Chris McMahon Stone, Tom Chothia, and Joeri de Ruiter. Extending automated protocol state learning for the 802.11 4-way handshake. In Proc. of European Symposium on Research in Computer Security (ESORICS), pages 325{345. Springer, 2018.

[12] Peter Megyesi, Zsolt Kramer, and Sandor Molnar. How quick is QUIC? In Proc. of International Conference on Communications (ICC), pages 1{6. IEEE, 2016.

[13] Oliver Niese. An integrated approach to testing complex systems. PhD thesis, Universitat Dortmund, 2003. [OpenAIRE]

Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue