6 citations · 18 across the 17 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.FL2024
Opacity Enforcement by Edit Functions Under Incomparable Observations
Wei Duan, Ruotian Liu, Maria Pia Fanti +2
As an information-flow privacy property, opacity characterizes whether a malicious external observer (referred to as an intruder) is able to infer the secret behavior of a system.…