Detecting Hardware Trojans with Gate-Level Information-Flow Tracking
Wei Hu, Baolei Mao, Jason K. Oberg, Ryan Kastner · Computer · 2016
A method based on information-flow tracking uses gate-level logic to detect hardware Trojans that violate the confidentiality and integrity properties of third-party IP cores. Experiments on trust-HUB benchmarks show that the method reveals Trojan behavior and unintentional design vulnerabilities that functional testing cannot pinpoint.