3 papers
cs.SE2025
PathFix: Automated Program Repair with Expected Path
Xu He, Shu Wang, Kun Sun
Automated program repair (APR) techniques are effective in fixing inevitable defects in software, enhancing development efficiency and software robustness. However, due to the diff…
cs.CR2025
ChainMarks: Securing DNN Watermark with Cryptographic Chain
Brian Choi, Shu Wang, Isabelle Choi +1
With the widespread deployment of deep neural network (DNN) models, dynamic watermarking techniques are being used to protect the intellectual property of model owners. However, re…
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…