Formal Security & Verification of Cryptographic Protocol Implementations in Rust