Investigating Automatic Code Generation for Network Packet Parsing

McQuistin, S. , Band, V. , Jacob, D. and Perkins, C. (2021) Investigating Automatic Code Generation for Network Packet Parsing. In: 2021 IFIP Networking Conference, 21-24 Jun 2021, ISBN 9783903176393

[img] Text
238352.pdf - Accepted Version


Publisher's URL:


Use of formal protocol description techniques and code generation can reduce bugs in network packet parsing code. However, such techniques are themselves complex, and don’t see wide adoption in the protocol standards development community, where the focus is on consensus building and human-readable specifications. We explore the utility and effectiveness of new techniques for describing protocol data, specifically designed to integrate with the standards development process, and discuss how they can be used to generate code that is safer and more trustworthy, while maintaining correctness and performance.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Perkins, Dr Colin and McQuistin, Dr Stephen and Band, Vivian and Jacob, Dr Dejice
Authors: McQuistin, S., Band, V., Jacob, D., and Perkins, C.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2021 IFIP
First Published:First published in 2021 IFIP Networking Conference
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher
Related URLs:
Data DOI:10.5525/gla.researchdata.1139

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
301525Improving Protocol Standards for a more Trustworthy InternetColin PerkinsEngineering and Physical Sciences Research Council (EPSRC)EP/R04144X/1Computing Science