3 ms·RustBelt: Securing the Foundations of the Rust Programming Language [pdf]2 points by arayh 8y ago