/
← Accept All   Archive
Microsoft ResearchResearch

Verifying Rust cryptography in SymCrypt, from standards to code

July 13
Verifying Rust cryptography in SymCrypt, from standards to code

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.

Languages & runtimesResearch Blog
Read at Microsoft Research ↗

Related

More from Microsoft Research on Accept All.