Combinational hardware Trojan detection using logic implications

Noah Cornell, Kundan Nepal. Combinational hardware Trojan detection using logic implications. In IEEE 60th International Midwest Symposium on Circuits and Systems, MWSCAS 2017, Boston, MA, USA, August 6-9, 2017. pages 571-574, IEEE, 2017. [doi]