Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai. Property Based Formal Security Verification for Hardware Trojan Detection. In 3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018. pages 62-67, IEEE, 2018. [doi]
No reviews for this publication, yet.