frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Formal Verification of Cryptographic Protocol Implementations in Rust

https://dl.acm.org/doi/epdf/10.1145/3719027.3765213
2•abiro•50m ago