Biblio
Filters: Keyword is valid logic implications [Clear All Filters]
.
2017. Combinational Hardware Trojan Detection Using Logic Implications. 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS). :571–574.
This paper provides a proof-of-concept demonstration of the potential benefit of using logical implications for detection of combinational hardware trojans. Using logic simulation, valid logic implications are selected and added to to the checker circuitry to detect payload delivery by a combinational hardware trojan. Using combinational circuits from the ISCAS benchmark suite, and a modest hardware budget for the checker, simulation results show that the probability of a trojan escaping detection using our approach was only 16%.