Rust Security Engineering Type-Driven Development I wrote an IMAP parsing and serialization library and want to make it correct and misuse resistant by leveraging Rust's type system.