corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bbbd-c665-70f6-ba61-824420e1d18d

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library 

Microsoft Research · published 10 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at microsoft.com Wayback capture
2blogs citing
First cited
28 Oct 2025
Most recent
28 Feb 2026
Rank this month
not ranked
Links from this post
9
Words captured
994

Cited by

Blog
In the post
Date
leodemoura.github.io
When AI Writes the World's Software, Who Verifies It? Read at the source ↗
28 Feb 2026
Jonathan Protzenko | Google Information Security Engineering (Seattle)
Eurydice: a Rust to C compiler (yes) Read at the source ↗
28 Oct 2025

Links from this post

Link
Host
https://github.com/microsoft/SymCrypt
github.com
https://aeneasverif.github.io/
aeneasverif.github.io
https://lean-lang.org/
lean-lang.org
https://github.com/AeneasVerif/eurydice/
github.com
https://ai.azure.com/labs
ai.azure.com
https://github.com/microsoft/sca-fuzzer
github.com
https://www.microsoft.com/en-us/trust-center/security/secure-future-initiative
microsoft.com
https://github.com/microsoft/SymCrypt/tree/feature/verifiedcrypto/lib/rust
github.com
https://github.com/microsoft/SymCrypt/issues
github.com