4 papers
Scalable PII Discovery in Mobile App Databases via Hypothesis-Driven Search
Jeel Piyushkumar Khatiwala, Samad Afolabi, Ruoyao Xiao +3
Discovering personally identifiable information (PII) in mobile forensic databases is difficult because the relevant table-column regions are unknown, distributed across heterogene…
AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
Han Zhou, Yu Luo, Dianxiang Xu
Generating formal specifications for C programs remains a challenge in formal verification due to the manual effort, expertise, and semantic precision required. While recent advanc…
HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
Yu Luo, Han Zhou, Mengtao Zhang +4
As an emerging programming language, Rust has rapidly gained popularity and recognition among developers due to its strong emphasis on safety. It employs a unique ownership system…
Detecting Code Vulnerabilities with Heterogeneous GNN Training
Yu Luo, Weifeng Xu, Dianxiang Xu
Detecting vulnerabilities in source code is a critical task for software security assurance. Graph Neural Network (GNN) machine learning can be a promising approach by modeling sou…