有关“击败HaTCh：构建恶意IP核心”的评论
Comments on "Defeating HaTCh: Building Malicious IP Cores"
摘要：
最近，Haider等人推出了第一个严格的硬件木马检测算法，称为HaTCh。HaTCh的基础是一个硬件木马设计的形式化框架，它根据硬件木马的特性对所有的硬件木马进行形式化的刻画。然而，Bhardwaj等人最近发表了一篇论文“Defeating HaTCh：Building Malicious IP Cores”，错误地声称他们新设计的硬件木马可以逃避HaTCh的检测。在本文中，我们解释了为什么“击败HaTCh”的说法是不正确的，我们澄清了几个常见的误解HaTCh。
英文摘要：
Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, which formally characterizes all the hardware Trojans based on its properties. However, Bhardwaj et al. recently published one paper "Defeating HaTCh: Building Malicious IP Cores", which incorrectly claims that their newly designed hardware Trojan can evade the detection by HaTCh. In this paper, we explain why the claim of "defeating HaTCh" is incorrect, and we clarify several common misunderstandings about HaTCh.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
