ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems

Animesh Basakchowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya. ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. In Man Ho Au, Siu-Ming Yiu, Jin Li 0002, Xiapu Luo, Cong Wang 0001, Aniello Castiglione, Kamil Kluczniak, editors, Network and System Security - 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings. Volume 11058 of Lecture Notes in Computer Science, pages 391-410, Springer, 2018. [doi]

Authors

Animesh Basakchowdhury

This author has not been identified. Look up 'Animesh Basakchowdhury' in Google

Ansuman Banerjee

This author has not been identified. Look up 'Ansuman Banerjee' in Google

Bhargab B. Bhattacharya

This author has not been identified. Look up 'Bhargab B. Bhattacharya' in Google