Verifying Rust cryptography in SymCrypt, from standards to code

Microsoft Researchは、暗号ライブラリSymCryptにおいてRustで書かれた暗号コードを検証する新手法を紹介した。この方法は、開発者がコードを書く際に検証を行いながら、実装や進化に伴う速度と適応性を維持することを可能にする。

この要約は Claude (Anthropic) が生成したものです。記事の著作権は配信元（Microsoft Research）に帰属します。正確な内容は原文をご確認ください。