rust security

Microsoft has released machine-checked proofs for Rust implementations of SHA-3 and ML-KEM in SymCrypt, its production cryptographic library used across Windows and Azure Linux. Announced by Microsoft Research on July 13, the work combines Rust, the Lean proof assistant, the Aeneas verification...

Microsoft’s Security Update Guide entry for CVE-2026-5222 points to a low-severity Cargo vulnerability disclosed by the Rust Security Response Team on May 25, 2026, affecting Cargo versions shipped from Rust 1.68 through before Rust 1.96 when using third-party sparse registries. The short...

A subtle integer overflow in a core bytes buffer implementation has quietly rippled through Rust’s async ecosystem: the Bytes crate’s BytesMut::reserve path can corrupt its internal capacity (cap) when an unchecked addition wraps, allowing subsequent operations to create out‑of‑bounds slices and...

A small, innocuous-looking malformed XML string can crash an XML parser and take a service offline — that’s the practical reality behind CVE-2023-34411, a high‑severity denial‑of‑service vulnerability in the widely used Rust crate xml-rs that affected versions 0.8.9 through 0.8.13 and was fixed...