2 citations · 2 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis
Attacks, including the manipulation of sensor readings and the modification of actuator commands, pose a significant challenge to the security and privacy of automated systems. Thi…
cs.FL2023
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step a…