AWS Open Source Blog
Category: Rust
Verify the Safety of the Rust Standard Library
Rust is one of the fastest growing languages around the world. The Rust community has grown into millions of developers, with more products and services relying on Rust. The ergonomics and strong compiler guarantees make Rust an ideal choice for developers. With this growth though, the Rust community has also recognized the unsafety of Rust […]
How Open Source Projects are Using Kani to Write Better Software in Rust
AWS open source project Kani is succeeding in changing the perception, effectiveness, and usability of verification tools that were previously thought to be cumbersome or beyond reach.
Introducing AWS Libcrypto for Rust, an Open Source Cryptographic Library for Rust
AWS Libcrypto for Rust (aws-lc-rs) is an open source cryptographic library for Rust software developers with FIPS cryptographic requirements.