{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T21:09:37Z","timestamp":1782940177737,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T00:00:00Z","timestamp":1638835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Walloon Government"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,12,7]]},"DOI":"10.1145\/3488660.3493803","type":"proceedings-article","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T23:48:49Z","timestamp":1638488929000},"page":"35-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Verifying QUIC implementations using Ivy"],"prefix":"10.1145","author":[{"given":"Christophe","family":"Crochet","sequence":"first","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom","family":"Rousseaux","sequence":"additional","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maxime","family":"Piraux","sequence":"additional","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Fran\u00e7ois","family":"Sambon","sequence":"additional","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,12,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Jean-Christophe Begue & al. Benjamin Saunders Dirkjan Ochtman. 2018. quinn. https:\/\/github.com\/quinn-rs\/quinn\/tree\/0.7.0  Jean-Christophe Begue & al. Benjamin Saunders Dirkjan Ochtman. 2018. quinn. https:\/\/github.com\/quinn-rs\/quinn\/tree\/0.7.0"},{"key":"e_1_3_2_1_2_1","volume-title":"steschu77","author":"K\u00f6cher Bastian","year":"2017"},{"key":"e_1_3_2_1_3_1","unstructured":"Cloudflare. 2018. quiche. https:\/\/github.com\/cloudflare\/quiche  Cloudflare. 2018. quiche. https:\/\/github.com\/cloudflare\/quiche"},{"key":"e_1_3_2_1_4_1","unstructured":"Christophe Crochet and Jean-Fran\u00e7ois Sambon. 2021. Towards verification of QUIC and its extensions. (2021). http:\/\/hdl.handle.net\/2078.1\/thesis:30559  Christophe Crochet and Jean-Fran\u00e7ois Sambon. 2021. Towards verification of QUIC and its extensions. (2021). http:\/\/hdl.handle.net\/2078.1\/thesis:30559"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3143361.3143370"},{"key":"e_1_3_2_1_6_1","unstructured":"Lars Eggert. 2016. quant. https:\/\/github.com\/NTAP\/quant\/tree\/29  Lars Eggert. 2016. quant. https:\/\/github.com\/NTAP\/quant\/tree\/29"},{"key":"e_1_3_2_1_7_1","unstructured":"Facebook. 2019. mvfst. https:\/\/github.com\/facebookincubator\/mvfst  Facebook. 2019. mvfst. https:\/\/github.com\/facebookincubator\/mvfst"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472938"},{"key":"e_1_3_2_1_9_1","unstructured":"Google. 2014. boringSSL. https:\/\/boringssl.googlesource.com\/boringssl\/  Google. 2014. boringSSL. https:\/\/boringssl.googlesource.com\/boringssl\/"},{"key":"e_1_3_2_1_10_1","unstructured":"QUIC Working Group. 2016. quicwg\/base-drafts. https:\/\/github.com\/quicwg\/base-drafts\/wiki\/Implementations  QUIC Working Group. 2016. quicwg\/base-drafts. https:\/\/github.com\/quicwg\/base-drafts\/wiki\/Implementations"},{"key":"e_1_3_2_1_11_1","unstructured":"Christian Huitema Melinda Shore Allison Mankin Sara Dickinson and Jana Iyengar. 2019. Specification of DNS over Dedicated QUIC Connections. Internet-Draft draft-huitema-quic-dnsoquic-07. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-huitema-quic-dnsoquic-07 Work in Progress.  Christian Huitema Melinda Shore Allison Mankin Sara Dickinson and Jana Iyengar. 2019. Specification of DNS over Dedicated QUIC Connections. Internet-Draft draft-huitema-quic-dnsoquic-07. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-huitema-quic-dnsoquic-07 Work in Progress."},{"key":"e_1_3_2_1_12_1","unstructured":"LiteSpeed Technologies Inc. 2017. lsquic. https:\/\/github.com\/litespeedtech\/lsquic\/tree\/v2.29.4  LiteSpeed Technologies Inc. 2017. lsquic. https:\/\/github.com\/litespeedtech\/lsquic\/tree\/v2.29.4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC9000"},{"key":"e_1_3_2_1_14_1","unstructured":"steschu77 Bastian K\u00f6cher & al. Kazuho Oku Christian Huitema. 2016. picotls. https:\/\/github.com\/h2o\/picotls\/tree\/47327f8d032f6bc2093a15c32e666ab6384ecca2  steschu77 Bastian K\u00f6cher & al. Kazuho Oku Christian Huitema. 2016. picotls. https:\/\/github.com\/h2o\/picotls\/tree\/47327f8d032f6bc2093a15c32e666ab6384ecca2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.12.012"},{"key":"e_1_3_2_1_16_1","unstructured":"Jeremy Lain\u00e9. 2019. aioquic. https:\/\/github.com\/aiortc\/aioquic\/tree\/0.9.3  Jeremy Lain\u00e9. 2019. aioquic. https:\/\/github.com\/aiortc\/aioquic\/tree\/0.9.3"},{"key":"e_1_3_2_1_17_1","unstructured":"Lucas Clemente & al. Marten Seemann. 2016. quic-go. https:\/\/github.com\/lucas-clemente\/quic-go  Lucas Clemente & al. Marten Seemann. 2016. quic-go. https:\/\/github.com\/lucas-clemente\/quic-go"},{"key":"e_1_3_2_1_18_1","volume-title":"Compositional Testing of Internet Protocols. In 2019 IEEE Cybersecurity Development (SecDev)","author":"McMillan Kenneth L"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342087"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.23919\/IFIPNetworking46909.2019.8999475"},{"key":"e_1_3_2_1_21_1","volume-title":"An Unreliable Datagram Extension to QUIC. Internet Engineering Task Force.(September","author":"Pauly Tommy","year":"2018"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3284850.3284852"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405796.3405826"},{"key":"e_1_3_2_1_24_1","volume-title":"Monte Carlo sampling methods. Handbooks in operations research and management science 10","author":"Shapiro Alexander","year":"2003"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472305.3472314"}],"event":{"name":"CoNEXT '21: The 17th International Conference on emerging Networking EXperiments and Technologies","location":"Virtual Event Germany","acronym":"CoNEXT '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2021 Workshop on Evolution, Performance and Interoperability of QUIC"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488660.3493803","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3488660.3493803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:12Z","timestamp":1750188672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488660.3493803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,7]]},"references-count":25,"alternative-id":["10.1145\/3488660.3493803","10.1145\/3488660"],"URL":"https:\/\/doi.org\/10.1145\/3488660.3493803","relation":{},"subject":[],"published":{"date-parts":[[2021,12,7]]},"assertion":[{"value":"2021-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}