This blog post details an example of how to use our hax toolchain for verifying the security of cryptographic protocol implementations written in Rust.
