Hardware Trojans detection through automatic properties extraction and formal verificationXiaojie DAI, Mengni CHENG, Jiacheng ZHU and Yu TAIJNWPU, 43 4 (2025) 813-820DOI: https://doi.org/10.1051/jnwpu/20254340813
