3 papers
cs.CR2026
Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
Hongbo Wen, Ying Li, Hanzhi Liu +4
An agent skill is a configuration package that equips an LLM-driven agent with a concrete capability, such as reading email, executing shell commands, or signing blockchain transac…
cs.CR2025
Breaking the illusion: Automated Reasoning of GDPR Consent Violations
Ying Li, Wenjun Qiu, Faysal Hossain Shezan +5
Recent privacy regulations such as the General Data Protection Regulation (GDPR) and the California Consumer Privacy Act (CCPA) have established legal requirements for obtaining us…
cs.CR2025
SoK: Towards Effective Automated Vulnerability Repair
Ying Li, Faysal hossain shezan, Bomin wei +2
The increasing prevalence of software vulnerabilities necessitates automated vulnerability repair (AVR) techniques. This Systematization of Knowledge (SoK) provides a comprehensive…