TY - GEN
T1 - Investigating automatic code generation for network packet parsing
AU - McQuistin, Stephen
AU - Band, Vivian
AU - Jacob, Dejice
AU - Perkins, Colin
N1 - Funding: This work is funded by the UK Engineering and Physical Sciences Research Council, under grant EP/R04144X/1.
PY - 2021/7/9
Y1 - 2021/7/9
N2 - 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.
AB - 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.
U2 - 10.23919/IFIPNetworking52078.2021.9472829
DO - 10.23919/IFIPNetworking52078.2021.9472829
M3 - Conference contribution
AN - SCOPUS:85112835164
T3 - IFIP networking conference
SP - 1
EP - 9
BT - 2021 IFIP networking conference (IFIP networking)
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 20th Annual IFIP Networking Conference, IFIP Networking 2021
Y2 - 21 June 2021 through 24 June 2021
ER -