A Formal Framework for Gate- Level Information Leakage Using Z3. - Qizhi Zhang 001; Jiaji He 001; Yiqiang Zhao; Xiaolong Guo 001 (AsianHOST, 2020)

Test Generation for Hardware Trojan Detection Using Correlation Analysis and Genetic Algorithm. - Zhendong Shi; Haocheng Ma; Qizhi Zhang 001; Yanjiang Liu; Yiqiang Zhao; Jiaji He 001 (ACM Trans. Embed. Comput. Syst., 2021)

PathFinder: side channel protection through automatic leaky paths identification and obfuscation. - Haocheng Ma; Qizhi Zhang 001; Ya Gao 007; Jiaji He 001; Yiqiang Zhao; Yier Jin (DAC, 2022)

EO-Shield: A Multi-Function Protection Scheme against Side Channel and Focused Ion Beam Attacks. - Ya Gao 007; Qizhi Zhang 001; Haocheng Ma; Jiaji He 001; Yiqiang Zhao (ASP-DAC, 2023)

Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking. - Yiqiang Zhao; Gonsen Qu; Qizhi Zhang 001; Yao Li 024; Zhengyang Li; Jiaji He 001 (VTS, 2024)

EMSim+: Accelerating Electromagnetic Security Evaluation With Generative Adversarial Network and Transfer Learning. - Ya Gao 007; Haocheng Ma; Qizhi Zhang 001; Xintong Song; Yier Jin; Jiaji He 001; Yiqiang Zhao (IEEE Trans. Inf. Forensics Secur., 2024)

Bug Hunting in the RISC-V SoC: The 1st Integrated Circuit Security Challenge. - Lei Peng; Jiacheng Zhu; Qizhi Zhang 001; Shibo Tang; Xingxin Wang; Xinyu Zheng; Yaxuan Zhao; Aijiao Cui; Wei Hu; Jiaji He 001; Peng Fei Qiu (AsianHOST, 2025)

Flexible NTT Accelerator Design Framework for Scalable Lattice-Based Cryptosystems. - Yiqiang Zhao; Yanhui Song; Xintong Song; Qizhi Zhang 001; Yao Li 024; Jiaji He 001 (AsianHOST, 2025)

EO-Shield: A Shield-Based Protection Scheme Against Both Invasive and Non-Invasive Attacks. - Ya Gao 007; Qizhi Zhang 001; Xintong Song; Haocheng Ma; Jiaji He 001; Yiqiang Zhao (IEEE Trans. Circuits Syst. I Regul. Pap., 2025)

Boosting Cryptographic ICs' Side-Channel Resistance: A Formal Framework for Automatic Identification and Protection of Leaky Paths. - Qizhi Zhang 001; Ya Gao 007; Haocheng Ma; Jiaji He 001; Yiqiang Zhao; Xiaolong Guo 001 (ACM Trans. Embed. Comput. Syst., 2025)