Sheng Wei, Kai Li, Farinaz Koushanfar, Miodrag Potkonjak. Provably complete hardware Trojan detection using test point insertion. In 2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012. pages 569-576, IEEE, 2012. [doi]
Abstract is missing.