Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability. - Sayandeep Saha; Rajat Subhra Chakraborty; Srinivasa Shashank Nuthakki; Anshul; Debdeep Mukhopadhyay (IACR Cryptol. ePrint Arch., 2015)