Rust for Safer Protocol Development
summary
Generates machine-readable protocol diagrams into generated Rust parser libraries that implement a custom network packet representation with seven types (bitstrings, arrays, structs, constraints, contexts, enums, functions), emits parsers by depth-first traversal, and produces parsers that operate at the bit level including bit-level parsers that cross byte boundaries. Proof-of-concept works on a modified TCP RFC example producing correct parsers, aims for IETF adoption, and needs further work on function types for QUIC encryption/decryption.
AI-written summary · about
chapters (8)
- 0:00Intro
- 0:39Improving Internet Standards
- 2:27Typing for Network Protocols
- 4:47Automatic Rust Parser Generation
- 6:23Parsing a TCP Header
- 9:22Generated TCP Header Parser
- 10:04Conclusions
- 11:29Rust for Safer Protocol Development
related talks
15mBuilding Little Languages with Rust
41mParsing Safely, from 500MB/s to 2GB/s
34mMove fast and don't break things: High-performance networking in Rust
41mCap'n Proto and Rust: Type Systems for Sharing
13mVest: Verified, Secure, High-Performance Parsing and Serialization for Rust
36mWriting a Zero-Copy Database Parser from the Ground Up
23mFast and efficient network protocols in Rust
27mMiniRust: A Core Language for Specifying Rust