Validating the Claim - Defeating HaTCh : Building Malicious IP cores

TL;DR

This paper defends the design of a hardware Trojan by establishing four critical properties that classify it as a deterministic hardware Trojan, countering previous claims that challenged its validity.

Contribution

It introduces a formal set of properties to validate hardware Trojan designs, strengthening the classification framework against prior critiques.

Findings

Defines four critical properties for deterministic hardware Trojans

Counteracts claims that challenge the Trojan's classification

Strengthens the framework for hardware Trojan detection and validation

Abstract

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".