Explore how Rust's type system can be leveraged to enhance network protocol safety in this 20-minute conference talk from RustFest Global 2020. Learn about generating typed models of protocol data, automatically creating Rust protocol parsers, and validating protocol designs. Discover the process of parsing a TCP header and examine a generated TCP header parser. Gain insights into improving Internet standards and the potential of Rust for developing safer network protocols.
Overview
Syllabus
Intro
Improving Internet Standards
Typing for Network Protocols
Automatic Rust Parser Generation
Parsing a TCP Header
Generated TCP Header Parser
Conclusions
Rust for Safer Protocol Development
Taught by
Rust
