Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust

Formal security and functional verification of cryptographic protocol implementations written in Rust. Published at ACM CCS 2025.