Fault Analysis on AES and SM4 Through Automatic Property Extraction and Checking. - Xingxin Wang; Xinxin Wang; Chaoxuan Yuan; Wei Hu (AsianHOST, 2023)

Over-the-air upgrading for enhancing security of intelligent connected vehicles: a survey. - Beibei Li; Wei Hu; Lemei Da; Yibing Wu; Xinxin Wang; Yiwei Li; Chaoxuan Yuan (Artif. Intell. Rev., 2024)

Cascading failure prediction and recovery in large-scale critical infrastructure networks: A survey. - Beibei Li; Wei Hu; Chaoxuan Yuan; Xinxin Wang; Yiwei Li; Yibing Wu (Inf. Softw. Technol., 2025)