SeGa: A Trojan Detection Method Combined With Gate Semantics. - Yunying Ye; Shan Li 008; Haihua Shen; Huawei Li 001; Xiaowei Li 001 (ATS, 2021)

A Hardware Trojan Trigger Localization Method in RTL based on Control Flow Features. - Hao Huang; Haihua Shen; Shan Li 008; Huawei Li 001 (ATS, 2022)

BGNN-HT: Bidirectional Graph Neural Network for Hardware Trojan Cells Detection at Gate Level. - Peiheng Zhan; Haihua Shen; Shan Li 008; Huawei Li 001 (ISCAS, 2023)

Oxpecker: Leaking Secrets via Fetch Target Queue. - Shan Li 008; Zheliang Xu; Haihua Shen; Huawei Li 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)