本文深入研究标准单元库是否具有内在的易受硬件木马攻击的特性（Trojanizability）。基于Puschner等人公开的SEM图像数据集（包含四种不同工艺节点的数字集成电路），作者指出之前的工作无法区分木马插入策略或图像质量退化对检测性能的影响与标准单元库本身固有的影响。为了解答这个问题，作者首先证明使用Puschner等人的指标难以实现这种分离，然后设计替代指标来更合理地评估和比较标准单元库的潜在易感性。他们发现不同库之间存在明显差异，但所有库中都存在一些实现不同逻辑功能却在SEM图像下视觉上不可区分的细胞。作者利用这一特性构建了基于标准单元的隐形硬件木马，并在Ibex RISC-V核上实现了一个权限提升后门。结果表明，标准单元库确实可以被评估其“木马化”潜力，并且应该采取实际防御措施。本文适合硬件安全研究员、芯片设计者和对抗硬件木马的防御者阅读。

该论文提出了一种自动化框架，用于在集成电路（IC）设计流程中生成基于标准单元实现的隐蔽硬件木马（HT）。传统硬件木马评估通常假设木马插入发生在RTL实现或门级网表阶段，但忽略了攻击者可利用不可信供应商提供的被篡改标准单元库，将恶意行为隐藏在标准单元内部。本文框架首先分析映射后的设计，识别具有稀有输入条件的候选单元实例，然后应用有效载荷模板，这些模板仅在触发条件满足时破坏选定单元的输出。实验在开源组合和时序基准设计上进行，结果表明该框架能够在不同单元类型和设计规模下生成有效且隐蔽的木马实例。这项工作揭示了当前木马检测假设中的关键空白，强调了在零信任IC设计流程中需要对标准单元实现进行单元级验证。

本论文提出了一种针对标准单元库的新型硬件木马（HT）威胁模型，并开发了相应的风险评估与预防方法。在无晶圆厂半导体制造模式下，设计方将版图交由代工厂制造，这为恶意HT插入提供了可乘之机。现有研究多关注标准单元之间的空白区域，但本文首次深入分析作为数字设计基本构建模块的标准单元本身存在的脆弱性。作者假设标准单元库本身不可信：攻击者在库中预置失活的HT单元，设计方使用该库完成综合与实现，但无法察觉异常；随后代工厂在制造过程中将失活单元替换为激活版本，从而在芯片中植入HT。基于开源和工业EDA工具，论文将Saed32nm和Sky130nm标准单元库转化为恶意库，并在AES-128加密核、以太网控制器和WISHBONE DMA引擎三个基准电路上进行了验证。实验表明，使用受感染库综合出的电路在单元总数、面积、动态功耗和静态功耗等设计级特征上与干净库差异极小，使得传统基于特征的检测方法难以区分。为了防御此类攻击，论文进一步提取上述特征用于二分类检测，评估了不同机器学习模型的检测效能。该研究揭示了供应链中一个被忽视的安全漏洞，并为标准单元库的完整性验证提供了新思路。

本文研究了一种名为Jinn的新型硬件木马攻击，能够劫持即使受到安全策略保护的程序。传统的控制流完整性（CFI）或软件故障隔离（SFI）等机制可以防止内存损坏漏洞的利用，但Jinn假设攻击者能够在CPU或GPU中植入恶意硬件（Trojan）。这些硬件Trojan在安全策略的检查点执行之后，暗中修改控制流或数据，从而绕过安全机制。作者形式化地定义了这类攻击的威胁模型，并在gem5模拟器上实现了多个攻击变体，包括控制流劫持和输出数据篡改。实验在RIPE基准测试和实际应用（如libquantum、bzip2）上进行，成功演示了攻击的有效性。论文贡献在于公开论证了硬件Trojan可以完全颠覆软件安全机制，即使程序本身不存在可利用的软件漏洞。该研究对系统安全、硬件安全以及安全策略的设计提出了新的挑战。适合安全研究人员、硬件设计者以及系统防御者阅读。

该论文提出了一种利用射频后向反射硬件木马（RFRA）窃听100BASE-TX快速以太网流量的方法。传统的电磁侧信道攻击通常通过被动监测目标设备的电磁辐射来获取信息，但对于高速数据接口如以太网，其电磁泄漏往往不足以实现有效窃听。RFRA技术通过在目标设备中植入极简的硬件木马（通常由分立元件如晶体管或二极管组成），不主动发射信号，而是根据被探测信号线的数据状态调制目标的电磁反射特性，从而实现隐蔽的主动监测。此前RFRA已被证明可用于视频链路和低速外设接口。本研究将RFRA扩展到高速目标，成功实现了对100BASE-TX以太网标准的攻击。论文详细描述了一种紧凑型植入装置的设计与实现，该装置能够恢复快速以太网中使用的MLT-3编码信号，并开发了专用的解调与解析流水线，以减轻无线信道引入的错误，最大化恢复信息量。实验验证了利用射频后向反射隐蔽监控快速以太网流量的可行性，并强调了此类攻击对高速链路的潜在威胁。该研究揭示了硬件供应链中植入微型后门进行远程数据窃取的新型攻击面，对网络设备和通信基础设施的安全性提出了严峻挑战。