{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T00:40:27Z","timestamp":1767832827766,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"UK 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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,21]]},"DOI":"10.23919\/ifipnetworking52078.2021.9472829","type":"proceedings-article","created":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T20:09:00Z","timestamp":1625861340000},"page":"1-9","source":"Crossref","is-referenced-by-count":3,"title":["Investigating Automatic Code Generation for Network Packet Parsing"],"prefix":"10.23919","author":[{"given":"Stephen","family":"McQuistin","sequence":"first","affiliation":[{"name":"University of Glasgow,UK"}]},{"given":"Vivian","family":"Band","sequence":"additional","affiliation":[{"name":"University of Glasgow,UK"}]},{"given":"Dejice","family":"Jacob","sequence":"additional","affiliation":[{"name":"University of Glasgow,UK"}]},{"given":"Colin","family":"Perkins","sequence":"additional","affiliation":[{"name":"University of Glasgow,UK"}]}],"member":"263","reference":[{"key":"ref33","first-page":"142","author":"couprie","year":"2015","journal-title":"Nom a byte oriented streaming zero copy parser combinators library in rust"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2017.39"},{"key":"ref31","article-title":"Mind your language (s)","author":"jaeger","year":"0","journal-title":"1st LangSec workshop of IEEE Security & Privacy"},{"key":"ref30","article-title":"Describing QUIC's Protocol Data Units with Augmented Packet Header Diagrams","author":"mcquistin","year":"2021","journal-title":"Internet Engineering Task Force"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2222000"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3341686"},{"key":"ref35","author":"patterson","year":"2014","journal-title":"Hammer parser generator"},{"key":"ref34","first-page":"615","article-title":"Nail: A practical tool for parsing and generating data formats","author":"bangert","year":"0","journal-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)"},{"key":"ref10","author":"jackson","year":"2011","journal-title":"Software Abstractions Logic Language and Analysis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080094"},{"key":"ref13","article-title":"Formally verifiable networking","author":"wang","year":"2009","journal-title":"Proceedings of the Workshop on Hot Topics in Networks"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065046"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45821-2_4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/347057.347563"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273009"},{"key":"ref19","author":"bjorklund","year":"0"},{"key":"ref28","article-title":"Describing TCP with Augmented Packet Header Diagrams","author":"mcquistin","year":"2021","journal-title":"Internet Engineering Task Force"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2016.019"},{"key":"ref27","author":"burge","year":"1975","journal-title":"Recursive Programming Techniques"},{"key":"ref3","article-title":"Transmission Control Protocol (TCP) Specification","author":"eddy","year":"2021","journal-title":"Internet Engineering Task Force"},{"key":"ref6","article-title":"QUIC: A UDP-Based Multiplexed and Secure Transport","author":"iyengar","year":"2021","journal-title":"Work in Progress"},{"key":"ref29","article-title":"Describing UDP with Augmented Packet Header Diagrams","author":"mcquistin","year":"2021","journal-title":"Internet Engineering Task Force"},{"key":"ref5","author":"rescorla","year":"0"},{"key":"ref8","author":"resnick","year":"0"},{"key":"ref7","first-page":"539","article-title":"A cloudy crystal ball - visions of the future","volume":"24","author":"clark","year":"1992","journal-title":"Proceedings of the Internet Engineering Task Force"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3404868.3406671"},{"key":"ref9","author":"lamport","year":"2002","journal-title":"Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers"},{"key":"ref1","first-page":"4","article-title":"The bugs we have to kill","volume":"40","author":"bratus","year":"2015","journal-title":"login"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2017.8095200"},{"key":"ref22","article-title":"Towards making formal methods normal: meeting developers where they are","author":"reid","year":"2020","journal-title":"Proceedings of the Workshop on Human Aspects of Types and Reasoning Assistants"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2005.05.029"},{"key":"ref24","author":"union","year":"2015"},{"key":"ref23","author":"crocker","year":"0"},{"key":"ref26","first-page":"22","article-title":"The halting problems of network stack insecurity","volume":"36","author":"sassaman","year":"2011","journal-title":"USENIX login"},{"key":"ref25","article-title":"Describing Protocol Data Units with Augmented Packet Header Diagrams","author":"mcquistin","year":"2021","journal-title":"Internet Engineering Task Force"}],"event":{"name":"2021 IFIP Networking Conference (IFIP Networking)","location":"Espoo and Helsinki, Finland","start":{"date-parts":[[2021,6,21]]},"end":{"date-parts":[[2021,6,24]]}},"container-title":["2021 IFIP Networking Conference (IFIP Networking)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9472750\/9472195\/09472829.pdf?arnumber=9472829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:39:06Z","timestamp":1659483546000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9472829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":37,"URL":"https:\/\/doi.org\/10.23919\/ifipnetworking52078.2021.9472829","relation":{},"subject":[],"published":{"date-parts":[[2021,6,21]]}}}