Wei Hu 0008, Beibei Li, Lingjuan Wu, Yiwei Li, Xuefei Li, Liang Hong. Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs. IEEE Trans. Dependable Sec. Comput., 23(1):132-148, January - February 2026. [doi]
Abstract is missing.