RustBelt: securing the foundations of the Rust programming language
Adrian Colyer did a good write up of this paper recently on The Morning Paper : <a href="https:&#x2F;&#x2F;blog.acolyer.org&#x2F;2018&#x2F;01&#x2F;18&#x2F;rustbelt-securing-the-foundations-of-the-rust-programming-language&#x2F;" rel="nofollow">https:&#x2F;&#x2F;blog.acolyer.org&#x2F;2018&#x2F;01&#x2F;18&#x2F;rustbelt-securing-the-fo...</a>