English
Related papers

Related papers: Verifying QUIC implementations using Ivy

200 papers

While applications quickly evolve, Internet protocols do not follow the same pace. There are two root causes for this. First, extending protocol with cleartext control plane is usually hindered by various network devices such as…

Networking and Internet Architecture · Computer Science 2024-05-03 Quentin De Coninck

Within a few years of its introduction, QUIC has gained traction: a significant chunk of traffic is now delivered over QUIC. The networking community is actively engaged in debating the fairness, performance, and applicability of QUIC for…

Networking and Internet Architecture · Computer Science 2018-10-23 Mirko Palmer , Thorben Krüger , Balakrishnan Chandrasekaran , Anja Feldmann

There has been growing interest in using the QUIC transport protocol for the Internet of Things (IoT). In lossy and high latency networks, QUIC outperforms TCP and TLS. Since IoT greatly differs from traditional networks in terms of…

Networking and Internet Architecture · Computer Science 2025-11-17 Darius Saif , Ashraf Matrawy

Main responsibility of a transport protocol is to support communication between two end-to-end entities. These entities can be hosts or devices, such as routers, firewalls etc. Transport protocol provides mechanism to have a virtually…

Networking and Internet Architecture · Computer Science 2020-10-13 Puneet Kumar

Google's QUIC (GQUIC) is an emerging transport protocol designed to reduce HTTP latency. Deployed across its platforms and positioned as an alternative to TCP+TLS, GQUIC is feature rich: offering reliable data transmission and secure…

Networking and Internet Architecture · Computer Science 2023-05-23 Darius Saif , Chung-Horng Lung , Ashraf Matrawy

The increasing adoption of the QUIC transport protocol has transformed encrypted web traffic, necessitating new methodologies for network analysis. However, existing datasets lack the scope, metadata, and decryption capabilities required…

Networking and Internet Architecture · Computer Science 2025-05-27 Barak Gahtan , Robert J. Shahla , Alex M. Bronstein , Reuven Cohen

The diversity of QUIC implementations poses challenges for Internet measurements and the analysis of the QUIC ecosystem. While all implementations follow the same specification and there is general interoperability, differences in…

Networking and Internet Architecture · Computer Science 2024-03-20 Johannes Zirngibl , Florian Gebauer , Patrick Sattler , Markus Sosnowski , Georg Carle

The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are currently used to test the different existing implementations…

Software Engineering · Computer Science 2018-11-30 Felix Rath , Daniel Schemmel , Klaus Wehrle

Existing performance comparisons of QUIC and TCP compared an optimized QUIC to an unoptimized TCP stack. By neglecting available TCP improvements inherently included in QUIC, comparisons do not shed light on the performance of current web…

Networking and Internet Architecture · Computer Science 2019-06-19 Konrad Wolsing , Jan Rüth , Klaus Wehrle , Oliver Hohlfeld

Cryptographic protocols have been widely used to protect the user's privacy and avoid exposing private information. QUIC (Quick UDP Internet Connections), including the version originally designed by Google (GQUIC) and the version…

Cryptography and Security · Computer Science 2021-11-16 Pengwei Zhan , Liming Wang , Yi Tang

QUIC is a secure transport protocol that improves the performance of HTTPS. An initial QUIC handshake that enforces a strict validation of the client's source address requires two round-trips. In this work, we extend QUIC's address…

Networking and Internet Architecture · Computer Science 2019-05-06 Erik Sy , Christian Burkert , Tobias Mueller , Hannes Federrath , Mathias Fischer

QUIC, as the foundation for HTTP/3, is becoming an Internet reality. A plethora of studies already show that QUIC excels beyond TCP+TLS+HTTP/2. Yet, these studies compare a highly optimized QUIC Web stack against an unoptimized TCP-based…

Networking and Internet Architecture · Computer Science 2019-10-18 Jan Rüth , Konrad Wolsing , Klaus Wehrle , Oliver Hohlfeld

As quantum computing advances, the cryptographic algorithms that underpin confidentiality, integrity, and authentication in Intelligent Transportation Systems (ITS) face increasing vulnerability to quantum-enabled attacks. To address these…

Cryptography and Security · Computer Science 2026-02-17 Abdullah Al Mamun , Akid Abrar , Mizanur Rahman , M Sabbir Salek , Mashrur Chowdhury

In this paper, we revisit the performance of the QUIC connection setup and relate the design choices for fast and secure connections to common Web deployments. We analyze over 1M Web domains with 272k QUIC-enabled services and find two…

Networking and Internet Architecture · Computer Science 2023-02-03 Marcin Nawrocki , Pouyan Fotouhi Tehrani , Raphael Hiesgen , Jonas Mücke , Thomas C. Schmidt , Matthias Wählisch

QUIC, as the transport layer of the next-generation Web stack (HTTP/3), natively provides security and performance improvements over TCP-based stacks. However, since QUIC provides end-to-end encryption for both data and packet headers,…

Networking and Internet Architecture · Computer Science 2026-02-16 Jie Zhang , Lei Zhang , Ziyi Wang , Chenxiang Sun , Yuming Hu , Xiaohui Xie , Zeqi Lai , Yong Cui

The QUIC transport protocol represents a significant evolution in web transport technologies, offering improved performance and reduced latency compared to traditional protocols like TCP. Given the growing number of QUIC implementations,…

Networking and Internet Architecture · Computer Science 2026-02-11 Jashanjot Singh Sidhu , Abdelhak Bentaleb

While the evolution of the Internet was driven by the end-to-end model, it has been challenged by many flavors of middleboxes over the decades. Yet, the basic idea is still fundamental: reliability and security are usually realized…

Networking and Internet Architecture · Computer Science 2023-07-31 Mike Kosek , Benedikt Spies , Jörg Ott

New advanced applications, such as autonomous driving and haptic communication, require to transmit multi-sensory data and require low latency and high reliability. These applications include. Existing implementations for such services have…

Networking and Internet Architecture · Computer Science 2020-10-09 Federico Chiariotti , Anay Ajit Deshpande , Marco Giordani , Kostantinos Antonakoglou , Andrea Zanella , Toktam Mahmoodi

Google QUIC accounts for almost 10% of the Internet traffic and the protocol is not standardized at the IETF yet. We distinguish Google QUIC (GQUIC) and IETF QUIC (IQUIC) since there may be differences between the two. Both Google and IETF…

Networking and Internet Architecture · Computer Science 2019-02-15 Ludovic Thomas , Emmanuel Dubois , Nicolas Kuhn , Emmanuel Lochin

Originally implemented by Google, QUIC gathers a growing interest by providing, on top of UDP, the same service as the classical TCP/TLS/HTTP/2 stack. The IETF will finalise the QUIC specification in 2019. A key feature of QUIC is that…

Networking and Internet Architecture · Computer Science 2019-04-26 François Michel , Quentin De Coninck , Olivier Bonaventure