2 papers
cs.NI2025
Verifying QUIC implementations using Ivy
Christophe Crochet, Tom Rousseaux, J-F Sambon +2
QUIC is a new transport protocol combining the reliability and congestion control features of TCP with the security features of TLS. One of the main challenges with QUIC is to guar…
cs.NI2024
Adaptive Address Family Selection for Latency-Sensitive Applications on Dual-stack Hosts
Maxime Piraux, Olivier Bonaventure
Latency is becoming a key factor of performance for Internet applications and has triggered a number of changes in its protocols. Our work revisits the impact on latency of address…