3 papers
cs.SE2025
Guiding AI to Fix Its Own Flaws: An Empirical Study on LLM-Driven Secure Code Generation
Hao Yan, Swapneel Suhas Vaidya, Xiaokuan Zhang +1
Large Language Models (LLMs) have become powerful tools for automated code generation. However, these models often overlook critical security practices, which can result in the gen…
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…