Validating the Claim - Defeating HaTCh : Building Malicious IP cores
Addresses a specific dispute in hardware security, likely incremental as it responds to prior criticism.
The paper defends a hardware Trojan design by defining four critical properties needed to classify it as a Deterministic Hardware Trojan, countering claims from a previous paper.
This paper defends the design of hardware Trojan proposed in the paper "Defeating HaTCh: Building Malicious IP Cores" by defining the four critical properties which are required to be satisfied to classify it to belong to class of Deterministic Hardware Trojan. This is to counter the claims of authors of HaTCh in their paper "Comments on Defeating HaTCh".