37.2% of vulnerabilities in cryptographic libraries are memory safety issues, while only 27.2% are cryptographic issues, according to an empirical Study of Vulnerabilities in Cryptographic Libraries (Jenny Blessing, Michael A. Specter, Daniel J. Weitzner ... (more…)

In this article, we will see how to structure a Rust project so that it’s easily testable. (more…)

A Doom Renderer written in Rust. Contribute to cristicbz/rust-doom development by creating an account on GitHub. (more…)

In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We ... (more…)

Demo for the exterior vs. interior mutability talk at Rust Vienna - rust-mutability/actor.rs at main · tdanecker/rust-mutability... (more…)