Jie Meng, Zeyu Yang 0001, Zhenyong Zhang, Yangyang Geng, Ruilong Deng, Peng Cheng 0001, Jiming Chen 0001, Jianying Zhou 0001. An Automated Semantic Analysis Framework for Controller Variables Based on Network Traffic. IEEE Trans. Dependable Sec. Comput., 23(3):6635-6651, May - June 2026. [doi]
Abstract is missing.