2 papers
cs.SE2025
Network Simulator-centric Compositional Testing
Tom Rousseaux, Christophe Crochet, John Aoga +1
This article introduces a novel methodology, Network Simulator-centric Compositional Testing (NSCT), to enhance the verification of network protocols with a particular focus on tim…
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…