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]
Abstract is missing.