Detecting hardware Trojans in unspecified functionality through solving satisfiability problems.

Nicole Fern, Ismail San, Kwang-Ting (Tim) Cheng

Browse the full ASPDAC paper archive.