Wu, L. ., Zhang, X. ., Wang, S. ., & Hu, W. . (2022). Hardware Trojan Detection at LUT: Where Structural Features Meet Behavioral Characteristics. In (pp. 121–124). McLean, VA, USA: IEEE. http://doi.org/10.1109/HOST54066.2022.9840276 (Original work published 2025)

Tang, S. ., Wang, X. ., Gao, Y. ., & Hu, W. . (2022). Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. In 2022 19th International SoC Design Conference (ISOCC) (pp. 207–208).