Validating the Claim - Defeating HaTCh : Building Malicious IP cores
Anshu Bhardwaj, Subir Kr Roy

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".
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPhysical Unclonable Functions (PUFs) and Hardware Security · Security and Verification in Computing · Cryptographic Implementations and Security
