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

Abstract

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
• Status: Published
• Refereed: Yes
• 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
• ISBN: 9783903176393
• 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

• Organisation
• Publisher

• Data DOI: 10.5525/gla.researchdata.1139

Project Code	Award No	Project Name	Principal Investigator	Funder's Name	Funder Ref	Lead Dept
301525		Improving Protocol Standards for a more Trustworthy Internet	Colin Perkins	Engineering and Physical Sciences Research Council (EPSRC)	EP/R04144X/1	Computing Science