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…)
Read more »
I’ve been thinking about garbage collection in Rust for a long time, ever since I started working on Servo’s JS layer. I’ve designed a GC library, … (more…)
Read more »
a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)
Read more »
At FullStory we’re using Rust for core parts of our cross-platform mobile framework. In this two-part blog post we'll talk about our experience. (more…)
Read more »