48 citations · 58 across the 3 of their papers we have counts for
3 papers
cs.CR2021★ 48 cited
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
Yifan Jia, Jingyi Wang, Christopher M. Poskitt +3
The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated research into a multitude of attack detection mechanisms, including anomaly detectors b…
math.RA2021
Comment on "Generators of matrix algebras in dimension 2 and 3"
Angela Capel, Yifan Jia
Theorem 7 in Ref. [Linear Algebra Appl., 430, 1-6, (2009)] states sufficient conditions to determine whether a pair generates the algebra of 3x3 matrices over an algebraically clos…
cs.AI2017★ 10 cited
Toward `verifying' a Water Treatment System
Jingyi Wang, Jun Sun, Yifan Jia +2
Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report o…