AWS Open Source Blog
Category: 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.