21CTO

Jan 6, 2025 · Information Security

How Researchers Auto-Convert C to Safe Rust: The Mini‑C Approach

Researchers from Inria and Microsoft have devised a method to automatically translate a subset of C code, called Mini‑C, into memory‑safe Rust, using the KaRaMeL compiler framework, demonstrating comparable performance on cryptographic libraries while reducing vulnerability risks.