RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf