Verifying QUIC implementations using Ivy.

Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-Franois Sambon, Axel Legay

Browse the full CoNEXT paper archive.