We Need to Talk About the Actual Guarantees of Rust-based Systems
This paper identifies a common weakness in Rust-based systems: extensions, even those that may be considered “safe,” may fail to uphold the language properties on which these systems rely.