2 papers
cs.CR2026
C-to-Rust Fallacy: Automatic Refactoring != Memory Security
Hung-Mao Chen, Xu He, Bo Lu +2
Rust has emerged as the leading system programming language, offering strong memory and type safety guarantees without compromising performance. This positions it as a compelling a…
cs.CR2025
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
Hung-Mao Chen, Xu He, Shu Wang +2
Rust supports type conversions and safe Rust guarantees the security of these conversions through robust static type checking and strict ownership guidelines. However, there are in…