Combinational hardware Trojan detection using logic implications. - Noah Cornell; Kundan Nepal (MWSCAS, 2017)