Talks on Parsing Protocol Standards
Two members of my research group recently gave talks about our work on parsing protocol standards. Stephen McQuistin spoke in the UK Next Generation Networks seminar series, giving an update on the work presented in our ANRW'20 paper, outlining the system architecture and showing how our system can be used to describe the format of real-world protocols such as TCP. Vivian Band spoke about Rust for Safer Protocol Development as part of RustFest Global 2020, describing our approach to parsing protocols with a focus on the back-end code generation, and our use of Rust with the nom parser combinator framework to generate safe parsing code.
The code supporting these talks can be found on GitHub and in the University of Glasgow Enlighten research data repository.