Research Open source Safety & ethics

Verifying Rust cryptography in SymCrypt, from standards to code

Microsoft Research Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Samuel Lee, Jason Fisher, Jessica Krynitsky

Publication summary. The terms of Microsoft Research do not allow reproduction of the full article: read the complete text on the original website.

Source summary (English)

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. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.

Read the full article

www.microsoft.com

View on Microsoft Research (new tab)

Topics

Share

X (new tab) LinkedIn (new tab) Facebook (new tab) Email

Related articles