{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,3]],"date-time":"2026-08-03T20:28:10Z","timestamp":1785788890630,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T00:00:00Z","timestamp":1628467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ERC Consolidator Grant","award":["101002697"],"award-info":[{"award-number":["101002697"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,9]]},"DOI":"10.1145\/3452296.3472938","type":"proceedings-article","created":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T18:13:15Z","timestamp":1628532795000},"page":"762-774","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Prognosis"],"prefix":"10.1145","author":[{"given":"Tiago","family":"Ferreira","sequence":"first","affiliation":[{"name":"University College London"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Harrison","family":"Brewton","sequence":"additional","affiliation":[{"name":"University of Wisconsin Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Loris","family":"D'Antoni","sequence":"additional","affiliation":[{"name":"University of Wisconsin Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[{"name":"University College London"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"cloudflare\/quiche. (Jan","year":"2021","unstructured":"2021. cloudflare\/quiche. (Jan . 2021 ). https:\/\/github.com\/cloudflare\/quiche original-date: 2018-09-29T18:22:05Z. 2021. cloudflare\/quiche. (Jan. 2021). https:\/\/github.com\/cloudflare\/quiche original-date: 2018-09-29T18:22:05Z."},{"key":"e_1_3_2_2_2_1","volume-title":"facebookincubator\/mvfst. (Jan","year":"2021","unstructured":"2021. facebookincubator\/mvfst. (Jan . 2021 ). https:\/\/github.com\/facebookincubator\/mvfst original-date: 2018-04-09T22:49:15Z. 2021. facebookincubator\/mvfst. (Jan. 2021). https:\/\/github.com\/facebookincubator\/mvfst original-date: 2018-04-09T22:49:15Z."},{"key":"e_1_3_2_2_3_1","volume-title":"Google QUIC - The Chromium Projects. (Jan","year":"2021","unstructured":"2021. Google QUIC - The Chromium Projects. (Jan . 2021 ). https:\/\/www.chromium.org\/quic 2021. Google QUIC - The Chromium Projects. (Jan. 2021). https:\/\/www.chromium.org\/quic"},{"key":"e_1_3_2_2_4_1","unstructured":"2021a. Heartbleed - CVE-2014-0160. (Jan. 2021). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2014-0160  2021a. Heartbleed - CVE-2014-0160. (Jan. 2021). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2014-0160"},{"key":"e_1_3_2_2_5_1","volume-title":"Let server abort on post-Retry packet number reset by dtikhonov \u00b7 Pull Request #3990 \u00b7 quicwg\/base-drafts. (Jan","year":"2021","unstructured":"2021b. Let server abort on post-Retry packet number reset by dtikhonov \u00b7 Pull Request #3990 \u00b7 quicwg\/base-drafts. (Jan . 2021 ). https:\/\/github.com\/quicwg\/base-drafts\/pull\/3990 Library Catalog : github.com. 2021b. Let server abort on post-Retry packet number reset by dtikhonov \u00b7 Pull Request #3990 \u00b7 quicwg\/base-drafts. (Jan. 2021). https:\/\/github.com\/quicwg\/base-drafts\/pull\/3990 Library Catalog: github.com."},{"key":"e_1_3_2_2_6_1","unstructured":"2021c. NVD - CVE-2017-1000253. (Jan. 2021). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-1000253  2021c. NVD - CVE-2017-1000253. (Jan. 2021). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-1000253"},{"key":"e_1_3_2_2_7_1","unstructured":"2021d. NVD - CVE-2018-5390. (Jan. 2021). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-5390  2021d. NVD - CVE-2018-5390. (Jan. 2021). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-5390"},{"key":"e_1_3_2_2_8_1","unstructured":"2021e. Scapy. (Jan. 2021). https:\/\/scapy.net\/  2021e. Scapy. (Jan. 2021). https:\/\/scapy.net\/"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.60"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0-54"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978383"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23021-4_1"},{"key":"e_1_3_2_2_14_1","volume-title":"Everest: Towards a Verified, Drop-in Replacement of HTTPS.","author":"Karthikeyan Bhargavan","year":"2016","unstructured":"Karthikeyan Bhargavan et al. 2016 . Everest: Towards a Verified, Drop-in Replacement of HTTPS. (2016), 11. Karthikeyan Bhargavan et al. 2016. Everest: Towards a Verified, Drop-in Replacement of HTTPS. (2016), 11."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243650"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47560-8_11"},{"key":"e_1_3_2_2_18_1","volume-title":"Protocol State Fuzzing of TLS Implementations. In 24th USENIX Security Symposium, USENIX Security 15","author":"de Ruiter Joeri","year":"2015","unstructured":"Joeri de Ruiter and Erik Poll . 2015 . Protocol State Fuzzing of TLS Implementations. In 24th USENIX Security Symposium, USENIX Security 15 , Washington, D.C., USA , August 12-14, 2015, Jaeyeon Jung and Thorsten Holz (Eds.). USENIX Association, 193--206. Joeri de Ruiter and Erik Poll. 2015. Protocol State Fuzzing of TLS Implementations. In 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015, Jaeyeon Jung and Thorsten Holz (Eds.). USENIX Association, 193--206."},{"key":"e_1_3_2_2_19_1","unstructured":"Antoine Delignat-Lavaud C\u00e9dric Fournet Bryan Parno Jonathan Protzenko Tahina Ramananandro Jay Bosamiya Joseph Lallemand Itsaka Rakotonirina and Yi Zhou. [n. d.]. A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. ([n. d.]) 17.  Antoine Delignat-Lavaud C\u00e9dric Fournet Bryan Parno Jonathan Protzenko Tahina Ramananandro Jay Bosamiya Joseph Lallemand Itsaka Rakotonirina and Yi Zhou. [n. d.]. A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. ([n. d.]) 17."},{"key":"e_1_3_2_2_20_1","first-page":"114","article-title":"A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer","volume":"2020","author":"Delignat-Lavaud Antoine","year":"2020","unstructured":"Antoine Delignat-Lavaud , C\u00e9dric Fournet , Bryan Parno , Jonathan Protzenko , Tahina Ramananandro , Jay Bosamiya , Joseph Lallemand , Itsaka Rakotonirina , and Yi Zhou . 2020 . A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer . IACR Cryptol. ePrint Arch. 2020 (2020), 114 . https:\/\/eprint.iacr.org\/2020\/114 Antoine Delignat-Lavaud, C\u00e9dric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou. 2020. A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IACR Cryptol. ePrint Arch. 2020 (2020), 114. https:\/\/eprint.iacr.org\/2020\/114","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"e_1_3_2_2_21_1","unstructured":"Paul Fiterau-Brostean Bengt Jonsson Robert Merget Joeri de Ruiter Konstantinos Sagonas and Juraj Somorovsky. 2020. Analysis of {DTLS} Implementations Using Protocol State Fuzzing. 2523--2540. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/fiterau-brostean  Paul Fiterau-Brostean Bengt Jonsson Robert Merget Joeri de Ruiter Konstantinos Sagonas and Juraj Somorovsky. 2020. Analysis of {DTLS} Implementations Using Protocol State Fuzzing. 2523--2540. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/fiterau-brostean"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6-25"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405796.3405825"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/322017.322020"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_32"},{"key":"e_1_3_2_2_26_1","volume-title":"Differential Testing for Software. 10, 1","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman . 1998. Differential Testing for Software. 10, 1 ( 1998 ), 8. William M McKeeman. 1998. Differential Testing for Software. 10, 1 (1998), 8."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342087"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3284850.3284852"},{"key":"e_1_3_2_2_29_1","volume-title":"DoD standard Transmission Control Protocol. (1980). 2070-1721 https:\/\/www.rfc-editor","author":"Postel J.","unstructured":"J. Postel . 1980. DoD standard Transmission Control Protocol. (1980). 2070-1721 https:\/\/www.rfc-editor .org\/info\/rfc0761 Number : RFC 761. J. Postel. 1980. DoD standard Transmission Control Protocol. (1980). 2070-1721 https:\/\/www.rfc-editor.org\/info\/rfc0761 Number: RFC 761."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3284850.3284853"},{"key":"e_1_3_2_2_31_1","unstructured":"Martin Thomson and Jana Iyengar. [n. d.]. QUIC: A UDP-Based Multiplexed and Secure Transport. ([n. d.]). https:\/\/tools.ietf.org\/html\/draft-ietf-quic-transport-29 Library Catalog: tools.ietf.org.  Martin Thomson and Jana Iyengar. [n. d.]. QUIC: A UDP-Based Multiplexed and Secure Transport. ([n. d.]). https:\/\/tools.ietf.org\/html\/draft-ietf-quic-transport-29 Library Catalog: tools.ietf.org."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45231-5_31"}],"event":{"name":"SIGCOMM '21: ACM SIGCOMM 2021 Conference","location":"Virtual Event USA","acronym":"SIGCOMM '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2021 ACM SIGCOMM 2021 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472938","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:40Z","timestamp":1750191460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472938"}},"subtitle":["closed-box analysis of network protocol implementations"],"short-title":[],"issued":{"date-parts":[[2021,8,9]]},"references-count":33,"alternative-id":["10.1145\/3452296.3472938","10.1145\/3452296"],"URL":"https:\/\/doi.org\/10.1145\/3452296.3472938","relation":{},"subject":[],"published":{"date-parts":[[2021,8,9]]},"assertion":[{"value":"2021-08-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}