Benefits and drawbacks of adopting a secure programming language: Rust as a case study

KR Fulton, A Chan, D Votipka, M Hicks… - … Symposium on Usable …, 2021 - usenix.org
Programming languages such as Rust and Go were developed to combat common and
potentially devastating memory safety-related vulnerabilities. But adoption of new, more …

Understanding memory and thread safety practices and issues in real-world Rust programs

B Qin, Y Chen, Z Yu, L Song, Y Zhang - Proceedings of the 41st ACM …, 2020 - dl.acm.org
Rust is a young programming language designed for systems software development. It aims
to provide safety guarantees like high-level languages and performance efficiency like low …

Securing unsafe rust programs with XRust

P Liu, G Zhao, J Huang - Proceedings of the ACM/IEEE 42nd …, 2020 - dl.acm.org
Rust is a promising systems programming language that embraces both high-level memory
safety and low-level resource manipulation. However, the dark side of Rust, unsafe Rust …

Memory-safety challenge considered solved? An in-depth study with all Rust CVEs

H Xu, Z Chen, M Sun, Y Zhou, MR Lyu - ACM Transactions on Software …, 2021 - dl.acm.org
Rust is an emerging programming language that aims at preventing memory-safety bugs
without sacrificing much efficiency. The claimed property is very attractive to developers, and …

Rust: The programming language for safety and performance

W Bugden, A Alahmar - arXiv preprint arXiv:2206.05503, 2022 - arxiv.org
Rust is a young programming language gaining increased attention from software
developers since it was introduced to the world by Mozilla in 2010. In this study, we attempt …

Learning and programming challenges of rust: A mixed-methods study

S Zhu, Z Zhang, B Qin, A Xiong, L Song - Proceedings of the 44th …, 2022 - dl.acm.org
Rust is a young systems programming language designed to provide both the safety
guarantees of high-level languages and the execution performance of low-level languages …

Is rust used safely by software developers?

AN Evans, B Campbell, ML Soffa - Proceedings of the ACM/IEEE 42nd …, 2020 - dl.acm.org
Rust, an emerging programming language with explosive growth, provides a robust type
system that enables programmers to write memory-safe and data-race free code. To allow …

{TRust}: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code

I Bang, M Kayondo, H Moon, Y Paek - 32nd USENIX Security …, 2023 - usenix.org
Rust was invented to help developers build highly safe systems. It comes with a variety of
programming constructs that put emphasis on safety and control of memory layout. Rust …

Fidelius charm: Isolating unsafe rust code

HMJ Almohri, D Evans - Proceedings of the Eighth ACM Conference on …, 2018 - dl.acm.org
The Rust programming language has a safe memory model that promises to eliminate
critical memory bugs. While the language is strong in doing so, its memory guarantees are …

Identifying barriers to adoption for Rust through online discourse

A Zeng, W Crichton - arXiv preprint arXiv:1901.01001, 2019 - arxiv.org
Rust is a low-level programming language known for its unique approach to memory-safe
systems programming and for its steep learning curve. To understand what makes Rust …