activity
20222026
most citedTowards Comprehensively Understanding the Run-time Security of Programmable Logic Controllers: A 3-year Empirical Study

1 citations · 1 across the 6 of their papers we have counts for

collaborators

6 papers

cs.CR2026

When Experience Becomes Instruction: Trajectory Poisoning in Self-Evolving Agent Skill Systems

Jialuo Chen, Lingqi Jiang, Xinhao Deng +7

Self-evolving skill (SES) systems distill agent trajectories into persistent skills, allowing untrusted experience to become trusted instruction. We introduce PoisonedEvolution, a…

cs.AI2026

SkillTrace: Multi-Trace Provenance Auditing for LLM-Agent Skill Reuse

Jialuo Chen, Minghe Wang, Lingqi Jiang +7

LLM-agent ecosystems are rapidly growing around reusable skills: mixed-modality packages of metadata, natural-language instructions, code, tools, references, and operational workfl…

cs.SE2026

Provable Fairness Repair for Deep Neural Networks

Jianan Ma, Jingyi Wang, Qi Xuan +1

Deep neural networks (DNNs) are suffering from ethical issues such as individual discrimination. In response, extensive NN repair techniques have been developed to adjust models an…

cs.CR2026

ASEval: Automated Trajectory-Level Security Testing for Autonomous Agents

Jianan Ma, Xiaohu Du, Ruixiao Lin +9

As autonomous agents (e.g., OpenClaw) increasingly operate with deep system-level privileges to execute complex tasks, they introduce severe, unmitigated security risks. Existing L…

cs.LG2024

Patch Synthesis for Property Repair of Deep Neural Networks

Zhiming Chi, Jianan Ma, Pengfei Yang +4

Deep neural networks (DNNs) are prone to various dependability issues, such as adversarial attacks, which hinder their adoption in safety-critical domains. Recently, NN repair tech…

cs.CR2022★ 1 cited

Towards Comprehensively Understanding the Run-time Security of Programmable Logic Controllers: A 3-year Empirical Study

Rongkuan Ma, Qiang Wei, Jingyi Wang +5

Programmable Logic Controllers (PLCs) are the core control devices in Industrial Control Systems (ICSs), which control and monitor the underlying physical plants such as power grid…