Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra. Hardware Trojan Detection Using ATPG and Model Checking. In 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, VLSID 2018, Pune, India, January 6-10, 2018. pages 91-96, IEEE Computer Society, 2018. [doi]
Abstract is missing.