TY  - RPRT
TI  - Verifying QUIC implementations using Ivy
AU  - Christophe Crochet
AU  - Tom Rousseaux
AU  - J-F Sambon
AU  - Maxime Piraux
AU  - Axel Legay
PY  - 2025
DO  - 10.1145/3488660.3493803
UR  - https://arxiv.org/abs/2503.01374
ID  - 2503.01374
ER  -