Research on Industrial Internet Data Security Technology based on Formal Verification of SM4Zhenya Chen, Fazong Wu, Shuo Xu et al.|Unknown|2023Cited by 3
Stealthy Attack Detection for Privacy-preserving Real-time Pricing in Smart GridsFazong Wu, Jia Yu, Xin Wang et al.|2022 13th Asian Control Conference (ASCC)|2022Cited by 0