Showing cs.CRShow all
3 papers · 1 filter
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…
cs.CR2024
Stealing Trust: Unraveling Blind Message Attacks in Web3 Authentication
Kailun Yan, Xiaokuan Zhang, Wenrui Diao
As the field of Web3 continues its rapid expansion, the security of Web3 authentication, often the gateway to various Web3 applications, becomes increasingly crucial. Despite its w…