{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T18:03:21Z","timestamp":1773511401642,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T00:00:00Z","timestamp":1595808000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R04144X\/1"],"award-info":[{"award-number":["EP\/R04144X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,27]]},"DOI":"10.1145\/3404868.3406671","type":"proceedings-article","created":{"date-parts":[[2020,7,5]],"date-time":"2020-07-05T12:23:10Z","timestamp":1593951790000},"page":"25-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Parsing Protocol Standards to Parse Standard Protocols"],"prefix":"10.1145","author":[{"given":"Stephen","family":"McQuistin","sequence":"first","affiliation":[{"name":"University of Glasgow"}]},{"given":"Vivian","family":"Band","sequence":"additional","affiliation":[{"name":"University of Glasgow"}]},{"given":"Dejice","family":"Jacob","sequence":"additional","affiliation":[{"name":"University of Glasgow"}]},{"given":"Colin","family":"Perkins","sequence":"additional","affiliation":[{"name":"University of Glasgow"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45821-2_4"},{"key":"e_1_3_2_1_2_1","volume-title":"Fifth IEEE International Symposium on Signal Processing and Information Technology. IEEE, 233--238","author":"Baldi M.","unstructured":"M. Baldi and F. Risso . 2005. A framework for rapid development and portable execution of packet-handling applications . In Fifth IEEE International Symposium on Signal Processing and Information Technology. IEEE, 233--238 . M. Baldi and F. Risso. 2005. A framework for rapid development and portable execution of packet-handling applications. In Fifth IEEE International Symposium on Signal Processing and Information Technology. IEEE, 233--238."},{"key":"e_1_3_2_1_3_1","volume-title":"Nail: A practical tool for parsing and generating data formats. In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). 615--628.","author":"Bangert J.","year":"2014","unstructured":"J. Bangert and N. Zeldovich . 2014 . Nail: A practical tool for parsing and generating data formats. In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). 615--628. J. Bangert and N. Zeldovich. 2014. Nail: A practical tool for parsing and generating data formats. In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). 615--628."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"M. Bjorklund. 2010. YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF). Internet Engineering Task Force. RFC 6020.  M. Bjorklund. 2010. YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF). Internet Engineering Task Force. RFC 6020.","DOI":"10.17487\/rfc6020"},{"key":"e_1_3_2_1_5_1","volume-title":"2017 IEEE Security and Privacy Workshops (SPW). IEEE","author":"Chifflier P.","unstructured":"P. Chifflier and G. Couprie . 2017. Writing parsers like it is 2017 . In 2017 IEEE Security and Privacy Workshops (SPW). IEEE , San Jose, CA, USA, 80--92. P. Chifflier and G. Couprie. 2017. Writing parsers like it is 2017. In 2017 IEEE Security and Privacy Workshops (SPW). IEEE, San Jose, CA, USA, 80--92."},{"key":"e_1_3_2_1_6_1","volume-title":"Zero copy","author":"Couprie G.","year":"2015","unstructured":"G. Couprie . 2015. Nom , A Byte oriented, streaming , Zero copy , Parser Combinators Library in Rust. 142--148. https:\/\/doi.org\/10.1109\/SPW. 2015 .31 10.1109\/SPW.2015.31 G. Couprie. 2015. Nom, A Byte oriented, streaming, Zero copy, Parser Combinators Library in Rust. 142--148. https:\/\/doi.org\/10.1109\/SPW.2015.31"},{"key":"e_1_3_2_1_7_1","unstructured":"D. Crocker. 2008. Augmented BNF for Syntax Specifications: ABNF. Internet Engineering Task Force. RFC 5234.  D. Crocker. 2008. Augmented BNF for Syntax Specifications: ABNF. Internet Engineering Task Force. RFC 5234."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the ACM on Programming Languages 3, ICFP","author":"Delaware B.","year":"2019","unstructured":"B. Delaware , S. Suriyakarn , C. Pit-Claudel , Q. Ye , and A. Chlipala . 2019. Narcissus: correct-by-construction derivation of decoders and encoders from binary formats . Proceedings of the ACM on Programming Languages 3, ICFP ( 2019 ), 1--29. B. Delaware, S. Suriyakarn, C. Pit-Claudel, Q. Ye, and A. Chlipala. 2019. Narcissus: correct-by-construction derivation of decoders and encoders from binary formats. Proceedings of the ACM on Programming Languages 3, ICFP (2019), 1--29."},{"key":"e_1_3_2_1_9_1","unstructured":"The Coq development team. 2020. The Coq Proof Assistant. https:\/\/coq.inria.fr.  The Coq development team. 2020. The Coq Proof Assistant. https:\/\/coq.inria.fr."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. PLDI. ACM","author":"Fisher K.","unstructured":"K. Fisher and R. Gruber . 2005. PADS: a domain-specific language for processing ad hoc data . In Proc. PLDI. ACM , Chicago, IL, USA, 295--304. K. Fisher and R. Gruber. 2005. PADS: a domain-specific language for processing ad hoc data. In Proc. PLDI. ACM, Chicago, IL, USA, 295--304."},{"key":"e_1_3_2_1_11_1","volume-title":"QUIC: A UDP-Based Multiplexed and Secure Transport. draft-ietf-quic-transport-latest.","author":"Iyengar J.","year":"2020","unstructured":"J. Iyengar and M. Thomson . 2020 . QUIC: A UDP-Based Multiplexed and Secure Transport. draft-ietf-quic-transport-latest. J. Iyengar and M. Thomson. 2020. QUIC: A UDP-Based Multiplexed and Secure Transport. draft-ietf-quic-transport-latest."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. EuroSys. ACM","author":"Madhavapeddy A.","unstructured":"A. Madhavapeddy , A. Ho , T. Deegan , D. Scott , and R. Sohan . 2007. Melange: Creating a \"Functional\" Internet . In Proc. EuroSys. ACM , Lisbon, Portugal, 101--114. A. Madhavapeddy, A. Ho, T. Deegan, D. Scott, and R. Sohan. 2007. Melange: Creating a \"Functional\" Internet. In Proc. EuroSys. ACM, Lisbon, Portugal, 101--114."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/347057.347563"},{"key":"e_1_3_2_1_14_1","unstructured":"S. McQuistin V. Band D. Jacob and C. S. Perkins. 2020. Describing Protocol Data Units with Augmented Packet Header Diagrams. draft-mcquistin-augmented-ascii-diagrams-05.  S. McQuistin V. Band D. Jacob and C. S. Perkins. 2020. Describing Protocol Data Units with Augmented Packet Header Diagrams. draft-mcquistin-augmented-ascii-diagrams-05."},{"key":"e_1_3_2_1_15_1","unstructured":"S. McQuistin V. Band D. Jacob and C. S. Perkins. 2020. Describing QUIC's Protocol Data Units with Augmented Packet Header Diagrams. draft-mcquistin-quic-augmented-diagrams-01.  S. McQuistin V. Band D. Jacob and C. S. Perkins. 2020. Describing QUIC's Protocol Data Units with Augmented Packet Header Diagrams. draft-mcquistin-quic-augmented-diagrams-01."},{"key":"e_1_3_2_1_16_1","unstructured":"ITU-T Recommendation X.680 (08\/15). 2015. Abstract Syntax Notation One (ASN.1): Specification of basic notation.  ITU-T Recommendation X.680 (08\/15). 2015. Abstract Syntax Notation One (ASN.1): Specification of basic notation."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"E. Rescorla. 2018. The Transport Layer Security (TLS) Protocol Version 1.3. Internet Engineering Task Force.  E. Rescorla. 2018. The Transport Layer Security (TLS) Protocol Version 1.3. Internet Engineering Task Force.","DOI":"10.17487\/RFC8446"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2005.05.029"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2222000"},{"key":"e_1_3_2_1_20_1","unstructured":"L. Sassaman M. L. Patterson S. Bratus and A. Shubina. 2011. The halting problems of network stack insecurity. USENIX; login 36 6 (2011) 22--32.  L. Sassaman M. L. Patterson S. Bratus and A. Shubina. 2011. The halting problems of network stack insecurity. USENIX; login 36 6 (2011) 22--32."},{"key":"e_1_3_2_1_21_1","volume-title":"RTP: A Transport Protocol for Real-Time Applications. Internet Engineering Task Force. RFC 3550.","author":"Schulzrinne H.","year":"2003","unstructured":"H. Schulzrinne , S. Casner , R. Frederick , and V. Jacobson . 2003 . RTP: A Transport Protocol for Real-Time Applications. Internet Engineering Task Force. RFC 3550. H. Schulzrinne, S. Casner, R. Frederick, and V. Jacobson. 2003. RTP: A Transport Protocol for Real-Time Applications. Internet Engineering Task Force. RFC 3550."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"D. Singer and H. Desineni. 2008. A General Mechanism for RTP Header Extensions. Internet Engineering Task Force. RFC 5285.  D. Singer and H. Desineni. 2008. A General Mechanism for RTP Header Extensions. Internet Engineering Task Force. RFC 5285.","DOI":"10.17487\/rfc5285"},{"key":"e_1_3_2_1_23_1","unstructured":"International Telecommunication Union. 2015. Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T Recommendation X.680.  International Telecommunication Union. 2015. Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T Recommendation X.680."},{"key":"e_1_3_2_1_24_1","volume-title":"9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","volume":"2","author":"Walz A.","unstructured":"A. Walz and A. Sikora . 2017. eTPL: An enhanced version of the TLS presentation language suitable for automated parser generation . In 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) , Vol. 2 . IEEE, 810--814. A. Walz and A. Sikora. 2017. eTPL: An enhanced version of the TLS presentation language suitable for automated parser generation. In 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Vol. 2. IEEE, 810--814."},{"key":"e_1_3_2_1_25_1","article-title":"2017. Exploiting dissent: Towards fuzzing-based differential black box testing of TLS implementations","author":"Walz A.","year":"2017","unstructured":"A. Walz and A. Sikora . 2017. Exploiting dissent: Towards fuzzing-based differential black box testing of TLS implementations . IEEE Transactions on Dependable and Secure Computing ( 2017 ). A. Walz and A. Sikora. 2017. Exploiting dissent: Towards fuzzing-based differential black box testing of TLS implementations. IEEE Transactions on Dependable and Secure Computing (2017).","journal-title":"IEEE Transactions on Dependable and Secure Computing ("}],"event":{"name":"ANRW '20: Applied Networking Research Workshop","location":"Virtual Event Spain","acronym":"ANRW '20","sponsor":["IRTF Internet Research Task Force","Internet Society Internet Society","SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the Applied Networking Research Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3404868.3406671","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3404868.3406671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:45Z","timestamp":1750191465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3404868.3406671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,27]]},"references-count":25,"alternative-id":["10.1145\/3404868.3406671","10.1145\/3404868"],"URL":"https:\/\/doi.org\/10.1145\/3404868.3406671","relation":{},"subject":[],"published":{"date-parts":[[2020,7,27]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}