3 ms·Formal Security & Verification of Cryptographic Protocol Implementations in Rust2 points by matt_d 1y ago