Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library (via vaguelytagged) — discussion

#c #formalmethods #rust