Hardware trojan detection through information flow security verification. - Adib Nahiyan; Mehdi Sadi; Rahul Vittal; Gustavo K. Contreras; Domenic Forte; Mark Tehranipoor (ITC, 2017)