---
title: "Who cites RustBelt: Securing the — 10 citing papers"
description: "10 papers of the Elamur Research library cite «RustBelt: Securing the Foundations of the Rust Programming Language», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [RustBelt: Securing the Foundations of the Rust…](https://md.research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/) / cited by

# Who cites «RustBelt: Securing the Foundations of the Rust Programming Language»

10 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · [← back to «RustBelt: Securing the Foundations of the Rust Programming Language»](https://md.research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/)

1. **[AutoVerus: Automated Proof Generation for Rust Code](https://md.research.elamur.ai/free/en/papers/yang-2024-autoverus-automated-proof-generation-rust/) [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/)**Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.*2024 · 28 citations*
2. **[SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification](https://md.research.elamur.ai/free/en/papers/zhou-2026-sactor-llm-driven-correct-idiomatic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Tianyang Zhou, Ziyi Zhang, Haowen Lin, et al.*2026 · 1 citation*
3. **[Survey on Interactive Theorem Proving Based Concurrent Program Verification (基于交互式定理证明的并发程序验证工作综述)](https://md.research.elamur.ai/free/en/papers/wang-2024-interactive-theorem-proving/) [Journal of Software](https://md.research.elamur.ai/free/en/venues/journal-of-software/)**Zhongye Wang (王中烨), Shushu Wu (吴姝姝), Qinxiang Cao (曹钦翔)*2024*

7 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/) — RustBelt: Securing the Foundations of the Rust Programming Language