Nicole Fern, Ismail San, Kwang-Ting (Tim) Cheng. Detecting hardware Trojans in unspecified functionality through solving satisfiability problems. In 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017. pages 598-504, IEEE, 2017. [doi]
Abstract is missing.