![[IEEE 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Costa Brava, Spain (2018.7.2-2018.7.4)] 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Property Based Formal Security Verification for Hardware Trojan Detection]()
[IEEE 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Costa Brava, Spain (2018.7.2-2018.7.4)] 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Property Based Formal Security Verification for Hardware Trojan DetectionQin, Maoyuan; Hu, Wei; Mu, Dejun; Tai, Yu · 2018