title: "RustBelt: Securing the Foundations of the Rust Programming Language"
categories: research rust
---
title: "RustBelt: Securing the Foundations of the Rust Programming Language"
categories: research rust
+forum: https://internals.rust-lang.org/
---
Just yesterday, we submitted our paper [RustBelt: Securing the Foundations of the Rust Programming Language](https://www.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf).
---
Just yesterday, we submitted our paper [RustBelt: Securing the Foundations of the Rust Programming Language](https://www.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf).