Leveraging Unspecified Functionality in Obfuscated Hardware for Trojan and Fault Attacks. - Wei Hu 008; Yixin Ma; Xinmu Wang; Xingxin Wang (AsianHOST, 2019)

A Correlation Fault Attack on Rotating S-Box Masking AES. - Xingxin Wang; Jian Zheng; Lingjuan Wu; Jiacheng Zhu; Wei Hu 008 (AsianHOST, 2021)

Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. - Shibo Tang; Xingxin Wang; Yifei Gao; Wei Hu 008 (ISOCC, 2022)

Towards Automatic Property Generation for SoC Security Verification. - Xingxin Wang; Shibo Tang; Wei Hu 008 (ISOCC, 2022)

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

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification. - Xingxin Wang; Wei Hu 008; Shibo Tang; Xinxin Wang; Huisi Zhou (IEEE Trans. Circuits Syst. I Regul. Pap., 2025)