arXiv 2102.007242021-02cs.CR

一种基于ECO的实用的代工端木马插入

Side-Channel Trojan Insertion -- a Practical Foundry-Side Attack via ECO

Tiago Perez, Malik Imran, Pablo Vaz, Samuel Pagliarini

摘要：

设计公司通常将其集成电路（IC）制造外包给第三方，其中IC容易受到恶意行为的影响，例如插入侧信道硬件特洛伊木马（SCT）。在本文中，我们提出了一个框架，设计和插入SCT的基础上的工程变更单（ECO）流，这使得它第一次公开如何毫不费力地可以插入到IC木马。该木马的设计目标是在每次读取电源签名时泄漏多个位。我们的发现和结果表明，今天，铸造厂内的流氓元素拥有通过ECO执行铸造厂侧攻击所需的所有手段。

英文摘要：

Design companies often outsource their integrated circuit (IC) fabrication to third parties where ICs are susceptible to malicious acts such as the insertion of a side-channel hardware trojan horse (SCT). In this paper, we present a framework for designing and inserting an SCT based on an engineering change order (ECO) flow, which makes it the first to disclose how effortlessly a trojan can be inserted into an IC. The trojan is designed with the goal of leaking multiple bits per power signature reading. Our findings and results show that a rogue element within a foundry has, today, all means necessary for performing a foundry-side attack via ECO.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

T-TER：利用目标防篡改路由击败A2特洛伊木马

T-TER: Defeating A2 Trojans with Targeted Tamper-Evident Routing

自集成电路（IC）诞生以来，用于构建它们的晶体管的尺寸不断缩小。虽然这一进步显着提高了计算能力，但制造成本却飙升。因此，大多数IC设计师现在必须外包制造。然而，外包带来了安全威胁：考虑到现代IC的尺寸，全面的制造后检查是不可行的，因此几乎不可能知道代工厂是否在制造期间改变了原始设计（即，插入硬件特洛伊木马）。防御代工厂方面的对手是具有挑战性的，因为-即使只有两个门-硬件木马可以完全破坏软件安全。研究人员试图检测和防止代工厂端的攻击，但所有现有的防御措施都无法有效地防止木马与足迹的几个门或更少。我们提出了有针对性的篡改证据路由（T-TER），预防布局级防御不可信的代工厂，能够阻止即使是最隐秘的硬件木马的插入。T-TER是定向的和以路由为中心的：它通过用保护线屏蔽安全关键线来防止制造商端攻击者将特洛伊木马线路由到安全关键线或直接邻近安全关键线。与通常用于减少串扰的屏蔽线不同，T-TER保护线带来了额外的技术挑战：它们必须在数字（删除攻击）和模拟（移动和慢跑攻击）域中都是显篡改的。我们通过开发一类设计中的保护线来应对这一挑战，这些保护线专门添加到设计中以保护安全关键线。T-TER的保护线产生最小的开销，可随设计复杂性扩展，并提供防攻击的篡改证据。

2020-10-27cs.CR

可逆计算体系结构中木马植入的难点

On the Difficulty of Inserting Trojans in Reversible Computing Architectures

免装配设计公司将其设计外包给第三方代工厂，以降低制造成本。然而，这为代工厂中的流氓引入硬件特洛伊木马创造了机会，这些木马大多数时间处于非活动状态，并在触发时对系统造成意想不到的后果。针对传统CMOS电路中的硬件木马进行了研究，提出了基于信任设计（DFT）的硬件木马检测方法。与传统电路在许多方面不同，可逆电路实现一对一的双射输入/输出映射。我们将研究可逆电路的安全影响，特别关注硬件木马的易感性。我们将考虑固有可逆电路和嵌入可逆电路的不可逆函数。

2017-05-02cs.CR

一种基于硬件木马的AES内核篡改攻击

A Novel Tampering Attack on AES Cores with Hardware Trojans

近年来，由于半导体制造的进步和每个晶体管成本的降低，集成电路（IC）中的密码原语的实现持续增加。硬件实现使加密操作更快，更节能。然而，已经提出了旨在提取秘密密钥以破坏这些原语的安全性的各种硬件攻击。针对目前广泛使用的高级加密标准（AES）分组密码算法，分析了其在篡改攻击下的脆弱性。我们提出的攻击依赖于由不受信任的代工厂在网表中植入硬件木马，该代工厂可以设计和实现这样的木马，因为它可以访问设计布局和掩码信息。硬件特洛伊木马的激活通过阻止所有先前回合的密钥相关计算的影响来修改特定回合的输入数据。我们建议使用一个顺序的硬件木马来提供有效载荷在输入的内部轮实现这种修改的数据。一旦特洛伊木马被激活，所有内部子密钥，以及最后的秘密密钥都可以从观察到的密文中计算出来。我们实现了我们提出的篡改攻击的顺序硬件木马插入到一个128位的AES设计从OpenCores基准套件和报告的面积开销，以证明拟议的篡改攻击的可行性。

2020-08-07cs.CR

最终布局中的硬件木马插入：从方法到芯片演示

Hardware Trojan Insertion in Finalized Layouts: From Methodology to a Silicon Demonstration

拥有一家高端半导体代工厂是一种奢侈，很少有公司能负担得起。因此，无晶圆厂设计公司将集成电路制造外包给第三方。在代工厂内，流氓分子可能会访问客户的布局并执行恶意行为，包括插入硬件特洛伊木马（HT）。许多工作集中在HT的结构/效应上，而很少有人证明了他们的HT在硅中的可行性。更少的人披露了如何插入HT或这项活动所需的时间。我们的工作细节，第一次，如何毫不费力地HT可以插入到一个最终的布局，提出了一个插入框架的基础上的工程变更单流程。为了验证，我们已经建立了一个65纳米CMOS技术的ASIC原型，包括四个木马加密核心。在每个核中插入一个侧通道HT，目的是通过电源通道泄漏密钥。此外，我们已经确定，整个攻击可以在一个多小时内发动。我们还表明，攻击是成功的所有测试样本。最后，我们的测量表明，我们的SCT对制造过程中的偏差的鲁棒性。

2022-08-30cs.CR

TAAL：对任意密钥逻辑锁定电路的篡改攻击

TAAL: Tampering Attack on Any Key-based Logic Locked Circuits

由于半导体制造和测试过程的全球化，系统级芯片（SoC）设计人员不再设计完整的SoC和自己制造芯片。集成电路（IC）的设计和制造的这种外包导致了若干威胁，诸如IC的生产过剩、销售不合规格/被拒绝的IC以及知识产权（IP）的盗版。逻辑锁定已经成为一种很有前途的防御策略，以应对这些威胁。然而，针对密钥提取的各种攻击已经破坏了逻辑锁技术的安全性。多年来，研究人员提出了不同的技术来防止现有的攻击。在本文中，我们提出了一种新的攻击，可以打破任何逻辑锁定技术，依赖于存储的秘密密钥。这种拟议的TAAL攻击是基于在网表中植入一个硬件木马，一旦激活，它就会将秘密密钥泄露给对手。由于不可信的代工厂可以从布局/掩模信息中提取设计的网表，因此实现这种硬件木马是可行的。所有三种TAAL攻击都可以用于提取密钥。我们已经介绍了逃避制造测试的组合和顺序硬件木马的模型。攻击者只需要从大量的所有可能的特洛伊木马中选择一个硬件特洛伊木马来发动TAAL攻击。

2020-12-11cs.CR

HOACS：同态混淆辅助的秘密隐藏技术，用于抵御商用现货（COTS）处理器中的木马攻击

HOACS: Homomorphic Obfuscation Assisted Concealing of Secrets to Thwart Trojan Attacks in COTS Processor

The University of Kansas（堪萨斯大学）

针对COTS处理器零信任场景下硬件木马窃取秘密的问题，提出基于剩余数编码的软件级全同态防御方案，无需修改硬件或信任供应链，通过LLVM插件集成到AES中，相比同类同态方案显著降低执行开销。

2024-02-15cs.CR

更多相关论文收起更多论文

拆分制造：攻击、防御与挑战

A Survey on Split Manufacturing: Attacks, Defenses, and Challenges

在当今的集成电路（IC）生态系统中，拥有一个代工厂在经济上是不可行的，因此大多数IC设计公司现在都在无晶圆厂的商业模式下工作。为了克服集成电路制造外包带来的安全问题，提出了分离制造技术。在拆分制造中，前端制程（FEOL）层（晶体管和较低金属层）在不受信任的高端代工厂制造，而后端制程（BEOL）层（较高金属层）在受信任的低端代工厂制造。这种方法对不受信任的代工厂隐藏了BEOL连接，从而防止了生产过剩和盗版威胁。然而，许多工作表明，BEOL连接可以通过利用典型的布图规划，布局和布线算法中采用的布局特性来获得。由于简单的分割制造可能无法提供理想的安全级别，许多作者提出了与分割制造一起使用的防御技术。在我们的调查中，我们详细介绍了该技术，对Split Manufacturing的许多类型的攻击，以及文献中描述的可能的防御技术。对于攻击，我们提出了一个简洁的讨论不同的威胁模型和假设，而对于防御，我们将研究分为三类：接近扰动，电线升降，布局混淆。我们调查的主要结果是强调许多研究之间的差异-一些声称网表可以以近乎完美的精度重建，而另一些则声称在检索BEOL连接方面取得了微小的成功。最后，我们还讨论了未来的趋势和挑战，固有的分裂制造，包括评估技术的效率的根本困难。

2020-10-12cs.CR

LIB-TRAP: 标准单元库硬件木马风险评估与防范

LIB-TRAP: Standard Cell Library Hardware Trojan Risk Assessment and Prevention

University of Arizona（亚利桑那大学）

提出标准单元库被篡改的新型威胁模型，通过将恶意库应用于基准设计，评估木马插入的隐蔽性和有效性。

2026-08-26cs.ARcs.CR

E-Trojans: 电池供电嵌入式系统上的勒索软件、跟踪、DoS和数据泄露

E-Trojans: Ransomware, Tracking, DoS, and Data Leaks on Battery-powered Embedded Systems

E-Trojans研究针对电池供电嵌入式系统内部的安全漏洞，提出四种新型攻击，通过模块化工具包验证其有效性并提出改进措施。

2025-12-08cs.CR

一种实用的硬件木马盲插方法

A Pragmatic Methodology for Blind Hardware Trojan Insertion in Finalized Layouts

集成电路（IC）的一个潜在漏洞是在制造过程中插入硬件特洛伊木马（HT）。了解这种攻击的实用性，可以导致适当的措施，减轻it. In本文中，我们展示了一个务实的框架，分析HT敏感性的最终布局。我们的框架是一个制造时间的攻击，假设对手只能访问电路的布局表示的代表。该框架利用工程变更单（ECO）流程将特洛伊木马程序插入到流片就绪布局中。利用逆向工程技术对受攻击的安全节点进行盲搜索。在我们的实验研究中，我们使用了三个加密核心（AES-128，SHA-256和RSA）和一个微控制器（RISC-V）作为目标。我们为我们的框架探索了触发器、有效负载和目标的96种组合。我们的研究结果表明，即使在高密度的设计，隐蔽插入复杂的木马是可能的。所有这一切，同时保持原来的目标逻辑，对功耗和性能的影响最小。此外，从我们的探索，我们得出结论，这是太天真，只利用放置资源作为衡量HT脆弱性。这项工作强调，HT插入成功是一个复杂的功能的位置，路由资源，位置的攻击节点，并进一步设计特定的特性。因此，我们的框架不仅仅是一种攻击，我们提出了最先进的分析工具来评估HT插入到最终布局中的脆弱性。

2022-08-19cs.CR

SIGNED：一种基于查询响应的同时检测水印和木马的方案

SIGNED: A Challenge-Response Based Interrogation Scheme for Simultaneous Watermarking and Trojan Detection

涉及不受信任方的电子硬件分布式制造生态系统的出现引起了各种信任问题。特别是，IP盗版、生产过剩和硬件木马攻击对数字设计制造商构成了重大威胁。水印技术是半导体行业用来克服许多信任问题的解决方案之一。然而，目前的水印技术具有低覆盖率，招致硬件开销，并且容易受到移除或篡改攻击。此外，这些水印无法检测特洛伊木马植入攻击，其中对手出于恶意目的更改设计。我们解决这些问题，在我们的框架称为签名：安全的轻量级数字水印方案的设计。SIGNED依赖于基于询问-响应协议的询问方案来生成水印。SIGNED识别目标网表中的敏感区域，并对其进行采样，以形成代表设计的功能和结构特征的紧凑签名。我们表明，这个签名可以用来同时验证，在一个强大的方式，设计的出处，以及在设计过程中的任何阶段，它的任何恶意修改。在ISCAS 85和ITC基准电路上对SIGNED进行了评估，即使在低至5门的情况下，检测精度也达到了87.61%.我们进一步证明，SIGNED可以受益于与逻辑锁定解决方案的集成，在那里它可以实现更高的保护，防止删除/回火攻击，并通过明智地重用水印创建的锁定逻辑产生更低的开销。

2020-10-11cs.CR

一个板级木马测试的自动化框架

An Automated Framework for Board-level Trojan Benchmarking

经济和运营优势已经导致印刷电路板（PCB）的供应链并入各种不可信实体。任何不可信实体都能够引入恶意更改，以促进现场操作期间的功能故障或秘密信息泄漏。虽然研究人员一直在调查单个微电子组件规模内恶意修改的威胁，但板级恶意操纵的可能性基本上尚未探索。在缺乏标准基准测试解决方案的情况下，PCB信任保证的预期对策可能会利用本土的攻击表示，这会破坏其评估，并且不会提供与其他技术进行比较的范围。在本文中，我们开发了有史以来第一个基准测试解决方案，以促进对适用于PCB信任保证的对策进行公正和可比的评估。基于为PCB级更改量身定制的分类法，我们开发了高级木马模型。从这些模型中，我们生成了一个自定义池的板级木马设计的不同的复杂性和功能。我们还开发了一个工具流，用于自动将这些木马插入到各种PCB设计中，并生成木马基准（即，使用Trojan进行PCB设计）。基于工具的木马插入有助于对大量不同的木马实现进行全面评估，并应用数据采掘进行信任验证。最后，通过实验测量，我们分析了木马设计的隐蔽性。

2020-03-27cs.ARcs.CR

用于COTS处理器中硬件木马检测和恢复的软件变体

Software Variants for Hardware Trojan Detection and Resilience in COTS Processors

基于组件的商业现货（COTS）生态系统提供了一个有吸引力的系统设计范例，因为与定制解决方案相比，它大大减少了开发时间和成本。然而，它带来了越来越多的关注的可信性所产生的可能性嵌入恶意逻辑，或硬件木马的COTS组件。现有的信任验证方法通常不适用于COTS硬件，由于缺乏黄金模型和缺乏内部信号的可观测性。在这项工作中，我们提出了一种新的方法，运行时木马检测和弹性不可信的COTS处理器通过明智的修改软件。所提出的方法不依赖于任何硬件冗余或架构修改，因此无缝集成的COTS为基础的系统设计过程。特洛伊木马的弹性是通过执行多个功能等效的软件变体来实现的。我们已经开发并实现了一个解决方案，用于基于编译器的自动生成程序变体，度量引导的变体选择，以及它们在单个可执行文件中的集成。为了评估所提出的方法，我们首先分析了程序变体在避免激活随机木马池方面的有效性。通过在OpenRISC 1000处理器中实现几个木马，我们分析了在单个和多个变体中木马激活过程中的可检测性和弹性。我们还提出了延迟和代码大小的开销为自动生成的几个程序的变体，并讨论了未来的研究方向，以减少开销。

2021-12-01cs.ARcs.CR

TROJAN-GUARD：基于GNN的RTL设计硬件木马检测

TROJAN-GUARD: Hardware Trojans Detection Using GNN in RTL Designs

2 Department of Computer Science \& Engineering, University of Minnesota

提出TROJAN-GUARD框架，利用GNN和模型量化高效检测大型RTL设计中的硬件木马，在自定义数据集上达到98.66%精确率和92.30%召回率。

2025-06-22cs.CRcs.LG

神经网络的硬件木马攻击

Hardware Trojan Attacks on Neural Networks

Clemson University（克莱姆森大学）

随着机器学习的日益普及和对计算能力的不断增长的需求，对神经网络和其他机器学习模型的硬件优化实现的需求不断增长。随着技术的发展，机器学习或人工智能将很快以训练有素的模型的形式成为消费电子产品和军事装备。不幸的是，制造硬件的现代无晶圆厂商业模式虽然经济，但却导致供应链的安全性不足。在本文中，我们阐明了这些安全问题，通过引入硬件木马攻击神经网络，扩大目前的分类神经网络安全，将这种性质的攻击。为了帮助这一点，我们开发了一个新的框架，用于插入恶意硬件木马的实施神经网络分类器。我们通过在卷积神经网络上实现攻击算法，同时控制对手可用的各种参数，来评估对手在这种情况下的能力。实验结果表明，该算法通过在任意7层卷积神经网络的第5隐层的$0.03\%$中注入硬件木马，可以有效地将输入触发器分类为MNIST数据集上的指定类，而在测试数据下无法检测到。最后，我们讨论了潜在的防御，以保护神经网络免受硬件木马攻击。

2018-06-14cs.CRcs.LGstat.ML

EVHA：硬件测试和保证的可解释视觉系统--综述

EVHA: Explainable Vision System for Hardware Testing and Assurance -- An Overview

Florida Institute for Cybersecurity Research（佛罗里达网络安全研究所）；University of Florida（佛罗里达大学）

由于不同行业对电子芯片的需求不断增长，半导体公司已被要求将其制造工艺离岸化。这种不必要的事情使他们制造的芯片的安全性和可信性受到关注，并导致硬件攻击的产生。在这种情况下，半导体供应链中的不同实体可以恶意行事，并对从设备到系统的设计计算层执行攻击。我们的攻击是在不受信任的代工厂中的掩模生成/制造期间插入的硬件特洛伊木马。特洛伊木马通过添加、删除或更改设计单元在制造中留下足迹。为了解决这个问题，我们提出了可解释的视觉系统的硬件测试和保证（EVHA）在这项工作中，可以检测到最小的可能变化，以低成本，准确，快速的方式设计。该系统的输入是从被检查的集成电路（IC）获取的扫描电子显微镜（SEM）图像。系统输出是根据通过在单元级的设计单元中添加、删除或改变而具有任何缺陷和/或硬件木马的IC状态的确定。本文概述了我们的防御系统的设计、开发、实施和分析。

2022-07-20cs.AIcs.CRcs.CV

Trivial Trojans：极简MCP服务器如何实现敏感数据的跨工具窃取

Trivial Trojans: How Minimal MCP Servers Enable Cross-Tool Exfiltration of Sensitive Data

Pivotal Research（Pivotal研究机构）；Stanford University（斯坦福大学）

本文针对模型上下文协议（MCP）生态的安全风险，提出仅需基础技能的攻击者可借助恶意MCP服务器利用跨工具信任窃取金融数据，并给出缓解与协议改进方案以填补安全缺口。

2025-07-26cs.AIcs.CR

Trojan's Whisper：通过注入的Bootstrap引导 stealthily操纵OpenClaw

Trojan's Whisper: Stealthy Manipulation of OpenClaw through Injected Bootstrapped Guidance

Shanghai Jiao Tong University（上海交通大学）

本文研究了通过注入引导文件进行的隐蔽攻击，揭示了自主代理生态系统设计中的根本矛盾，强调了基于能力隔离、运行时策略执行和透明引导溯源的防御需求。

2026-03-20cs.AIcs.CR

一个可扩展的框架，用于量化针对不可信代工厂的防御覆盖率

An Extensible Framework for Quantifying the Coverage of Defenses Against Untrusted Foundries

用于构造集成电路（IC）的晶体管继续缩小。虽然这种收缩提高了性能和密度，但它也降低了信任：建造领先制造设施的价格飙升，甚至迫使民族国家外包高性能IC的制造。外包制造带来了安全威胁，因为制造的IC的黑匣子性质使得全面检查不可行。由于先前的工作表明制造时攻击者逃避现有制造后防御的可行性，因此IC设计人员必须能够在将其物理设计交给不受信任的代工厂之前保护它们。为此，最近的工作提出了加固IC布局以抵抗攻击的方法。不幸的是，没有工具来评估拟议的防御措施的有效性-这意味着可能存在差距。本文提出了一种可扩展的IC版图安全分析工具，称为IC攻击面（ICAS），量化的防御覆盖。对于研究人员来说，ICAS可以确定未来防御目标的差距，并对现有和未来的防御进行定量比较。对于从业者来说，ICAS可以探索设计决策对IC对制造时间攻击的弹性的影响。ICAS采用一组指标，对将硬件特洛伊木马插入IC布局的挑战进行编码，防御者关心的一组攻击以及完成的IC布局，并报告攻击者可以将每个攻击添加到设计中的方式数量。虽然理想的分数是零，但实际上，我们的经验是，较低的分数与攻击者努力的增加相关。

2019-06-20cs.CR