@misc{cryptoeprint:2015:1252,
    author = {Sayandeep Saha and Rajat Subhra Chakraborty  and Srinivasa Shashank Nuthakki and Anshul and Debdeep Mukhopadhyay},
    title = {Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability},
    howpublished = {Cryptology ePrint Archive, Report 2015/1252},
    year = {2015},
    url = {https://eprint.iacr.org/2015/1252},
}