The Seeker's Dilemma: Realistic Formulation and Benchmarking for Hardware Trojan Detection

arXiv:2402.17918v1 Announce Type: new
Abstract: This work focuses on advancing security research in the hardware design space by formally defining the realistic problem of Hardware Trojan (HT) detection. The goal is to model HT detection more closely to the real world, i.e., describing the problem as "The Seeker's Dilemma" (an extension of Hide&Seek on a graph), where a detecting agent is unaware of whether circuits are infected by HTs or not. Using this theoretical problem formulation, we create a benchmark …

arxiv benchmarking cs.ar cs.cr cs.lg design detection dilemma goal hardware problem real research security security research space trojan work world