Homomorphic Encryption of Supervisory Control Systems Using Automata. - Sian Zhou; Zhenhua Yu 001; Emad S. Abouel Nasr; Haitham A. Mahmoud; Emad Mahrous Awwad; Naiqi Wu (IEEE Access, 2020)

Game min-max current-state opacity formulation in resource automata. - Dong Li; Zhaoyang He; Zhaoyu Xiang; Sian Zhou (ICNSC, 2022)

Robust Diagnosability Analysis Using Basis Reachability Graph. - Shiqi Li; Sian Zhou; Li Yin; Rongtian Jiang (IEEE Access, 2023)

Quantifying opacity of discrete event systems modeled with probabilistic Petri nets. - Sian Zhou; Li Yin; Zhi Wu Li 001 (Inf. Sci., 2024)