8 citations · 17 across the 9 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems
Ziyan An, John Stankovic, Meiyi Ma
AI-enabled Cyber-Physical Systems (CPS) are highly vulnerable to adversarial and anomalous inputs, where small perturbations can induce cascading errors and unsafe control actions.…
cs.CR2024
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson +2
This paper introduces LOGSAFE, a defense mechanism for federated learning in time series settings, particularly within cyber-physical systems. It addresses poisoning attacks by mov…