Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University

Hardware Trojans detection through automatic properties extraction and formal verification

Xiaojie DAI, Mengni CHENG, Jiacheng ZHU and Yu TAI

JNWPU, 43 4 (2025) 813-820

Published online: 08 October 2025

DOI: 10.1051/jnwpu/20254340813

Xiaojie DAI

Mengni CHENG

Jiacheng ZHU

Yu TAI

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)