Yen-Ting Wang, Degang Chen, Randall L. Geiger. Practical methods for verifying removal of Trojan stable operating points. In 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), Beijing, China, May 19-23, 2013. pages 2658-2661, IEEE, 2013. [doi]
Abstract is missing.