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).