{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T14:27:37Z","timestamp":1782484057370,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T00:00:00Z","timestamp":1597017600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,8,10]]},"DOI":"10.1145\/3405796.3405825","type":"proceedings-article","created":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T10:12:37Z","timestamp":1595412757000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Testing QUIC with packetdrill"],"prefix":"10.1145","author":[{"given":"Vidhi","family":"Goel","sequence":"first","affiliation":[{"name":"Apple, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rui","family":"Paulo","sequence":"additional","affiliation":[{"name":"Apple, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Paasch","sequence":"additional","affiliation":[{"name":"Apple, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,8,10]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","volume":"8","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , Dawson R Engler , 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs .. In OSDI , Vol. 8. 209 -- 224 . Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI, Vol. 8. 209--224.","journal-title":"OSDI"},{"key":"e_1_3_2_1_2_1","volume-title":"Andreas Terzis, and Tom Herbert.","author":"Cardwell Neal","year":"2013","unstructured":"Neal Cardwell , Yuchung Cheng , Lawrence Brakmo , Matt Mathis , Barath Raghavan , Nandita Dukkipati , Hsiao keng Jerry Chu , Andreas Terzis, and Tom Herbert. 2013 . packetdrill: Scriptable Network Stack Testing, from Sockets to Packets. In Presented as part of the 2013 USENIX Annual Technical Conference (USENIX ATC 13). USENIX, San Jose, CA , 213--218. https:\/\/www.usenix.org\/conference\/atc13\/technical-sessions\/presentation\/cardwell Neal Cardwell, Yuchung Cheng, Lawrence Brakmo, Matt Mathis, Barath Raghavan, Nandita Dukkipati, Hsiao keng Jerry Chu, Andreas Terzis, and Tom Herbert. 2013. packetdrill: Scriptable Network Stack Testing, from Sockets to Packets. In Presented as part of the 2013 USENIX Annual Technical Conference (USENIX ATC 13). USENIX, San Jose, CA, 213--218. https:\/\/www.usenix.org\/conference\/atc13\/technical-sessions\/presentation\/cardwell"},{"key":"e_1_3_2_1_3_1","unstructured":"Neal Cardwell and Barath Raghavan. 2013. Drilling Network Stacks with packetdrill. (2013).  Neal Cardwell and Barath Raghavan. 2013. Drilling Network Stacks with packetdrill. (2013)."},{"key":"e_1_3_2_1_4_1","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Ruiter Joeri De","year":"2015","unstructured":"Joeri De Ruiter and Erik Poll . 2015 . Protocol State Fuzzing of {TLS} Implementations . In 24th USENIX Security Symposium (USENIX Security 15) . 193--206. Joeri De Ruiter and Erik Poll. 2015. Protocol State Fuzzing of {TLS} Implementations. In 24th USENIX Security Symposium (USENIX Security 15). 193--206."},{"key":"e_1_3_2_1_5_1","volume-title":"Analysis of DTLS Implementations Using Protocol State Fuzzing. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Fiterau-Brostean Paul","year":"2020","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. In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, Boston, MA. 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. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, Boston, MA. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/fiterau-brostean"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2068816.2068834"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"I. Swett J. Iyengar. 2020. QUIC Loss Detection and Congestion Control. Internet-Draft. RFC Editor. https:\/\/tools.ietf.org\/html\/draft-ietf-quic-recovery-28  I. Swett J. Iyengar. 2020. QUIC Loss Detection and Congestion Control. Internet-Draft. RFC Editor. https:\/\/tools.ietf.org\/html\/draft-ietf-quic-recovery-28","DOI":"10.17487\/RFC9002"},{"key":"e_1_3_2_1_8_1","volume-title":"QUIC: A UDP-Based Multiplexed and Secure Transport","author":"Iyengar M. Thomson J.","year":"2020","unstructured":"M. Thomson J. Iyengar . 2020 . QUIC: A UDP-Based Multiplexed and Secure Transport . Internet-Draft. RFC Editor. https:\/\/tools.ietf.org\/html\/draft-ietf-quic-transport-28 M. Thomson J. Iyengar. 2020. QUIC: A UDP-Based Multiplexed and Secure Transport. Internet-Draft. RFC Editor. https:\/\/tools.ietf.org\/html\/draft-ietf-quic-transport-28"},{"key":"e_1_3_2_1_9_1","volume-title":"David R Choffnes, Alan Mislove, and Cristina Nita-Rotaru.","author":"Jero Samuel","year":"2018","unstructured":"Samuel Jero , Md Endadul Hoque , David R Choffnes, Alan Mislove, and Cristina Nita-Rotaru. 2018 . Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach.. In ANRW. 95. Samuel Jero, Md Endadul Hoque, David R Choffnes, Alan Mislove, and Cristina Nita-Rotaru. 2018. Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach.. In ANRW. 95."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2015.22"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098842"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342087"},{"key":"e_1_3_2_1_13_1","volume-title":"12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15). 485--498.","author":"Pedrosa Luis","unstructured":"Luis Pedrosa , Ari Fogel , Nupur Kothari , Ramesh Govindan , Ratul Mahajan , and Todd Millstein . 2015. Analyzing protocol implementations for interoperability . In 12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15). 485--498. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. Analyzing protocol implementations for interoperability. In 12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15). 485--498."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3284850.3284853"}],"event":{"name":"SIGCOMM '20: Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication","location":"Virtual Event USA","acronym":"SIGCOMM '20","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3405796.3405825","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3405796.3405825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:18Z","timestamp":1750199898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3405796.3405825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,10]]},"references-count":14,"alternative-id":["10.1145\/3405796.3405825","10.1145\/3405796"],"URL":"https:\/\/doi.org\/10.1145\/3405796.3405825","relation":{},"subject":[],"published":{"date-parts":[[2020,8,10]]},"assertion":[{"value":"2020-08-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}