Yilin Li, Shan Li, Haihua Shen: HTrans: Transformer-Based Method for Hardware Trojan Detection and Localization. ATS 2023: 1-6