关于《击败HaTCh：构建恶意IP核》的评论
密码学与安全
2018-10-08 v2
摘要
最近，Haider等人引入了首个严格的硬件木马检测算法HaTCh。HaTCh的基础是一个硬件木马设计的正式框架，该框架基于其属性对所有硬件木马进行了形式化刻画。然而，Bhardwaj等人最近发表了论文《击败HaTCh：构建恶意IP核》，错误地声称其新设计的硬件木马能够逃避HaTCh的检测。在本文中，我们解释了“击败HaTCh”的声称为何不正确，并澄清了关于HaTCh的几个常见误解。
引用
@article{arxiv.1804.04783,
title = {Comments on "Defeating HaTCh: Building Malicious IP Cores"},
author = {Syed Kamran Haider and Chenglu Jin and Marten van Dijk},
journal= {arXiv preprint arXiv:1804.04783},
year = {2018}
}