Verifying QUIC implementations using Ivy

Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay. Verifying QUIC implementations using Ivy. In EPIQ '21: Proceedings of the 2021 Workshop on Evolution, Performance and Interoperability of QUIC, Virtual Event / Munich, Germany, 7 December 2021. pages 35-41, ACM, 2021. [doi]

Authors

Christophe Crochet

This author has not been identified. Look up 'Christophe Crochet' in Google

Tom Rousseaux

This author has not been identified. Look up 'Tom Rousseaux' in Google

Maxime Piraux

This author has not been identified. Look up 'Maxime Piraux' in Google

Jean-François Sambon

This author has not been identified. Look up 'Jean-François Sambon' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google