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
Text
238352.pdf - Accepted Version 2MB |
Publisher's URL: http://dl.ifip.org/db/conf/networking/networking2021/
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: | |
Data DOI: | 10.5525/gla.researchdata.1139 |
University Staff: Request a correction | Enlighten Editors: Update this record