💻 computer science

Hardware-Efficient Compound IC Protection with Lightweight Cryptography

本文提出了一种结合轻量级密码算法、逻辑锁定与硬件混淆技术的复合集成电路保护机制，该方案在显著降低硬件复杂度的同时，有效抵御了移除、代数及逻辑锁定等多种攻击。

原作者： Levent Aksoy, Muhammad Sohaib Munir, Sedat Akleylek

发布于 2026-04-15

📖 1 分钟阅读☕ 轻松阅读

原作者： Levent Aksoy, Muhammad Sohaib Munir, Sedat Akleylek

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文讲述了一个关于**如何给芯片（IC）穿上“防弹衣”和“隐形斗篷”**的故事，目的是防止芯片在制造过程中被偷工减料（超产）或被非法复制（盗版）。

为了让你更容易理解，我们可以把芯片制造过程想象成一家跨国连锁面包店，而芯片就是他们特制的**“魔法面包”**。

1. 背景：面包店的危机

现在的芯片设计很复杂，就像一家面包店，设计图纸（设计方）在爱沙尼亚，但烤面包的工厂（代工厂）可能在中国或台湾。

问题：工厂老板可能会偷偷多烤一些面包（超产），或者把图纸偷走，自己开分店卖（盗版）。
旧方法：以前大家给面包里加了一把“锁”（逻辑锁）。只有知道密码的人，面包才能吃。
- 缺点：这把锁太笨重了（占用太多空间），而且容易被懂行的人用“万能钥匙”（SAT 攻击）撬开，或者直接把锁拆了（移除攻击）。
更旧的方法：有人试图用“高级加密算法”（像 AES 这种大锁）来保护。
- 缺点：这把大锁太重了！面包还没烤熟，烤箱就被锁占满了，成本极高。而且，如果小偷把锁拆下来，面包还是能偷走。

2. 新方案：SOHNI 工具箱（复合保护机制）

作者提出了一种新的保护方法，叫 SOHNI。它不像以前那样只加一把锁，而是给面包穿上了一套**“三合一”的超级装备**：

第一层：轻量级加密（轻便的防盗门）

比喻：以前用 AES 就像给面包房装了一扇巨大的银行金库门，虽然安全，但把整个厨房都堵死了。
新做法：作者换用了轻量级加密算法（如 SIMON、PRESENT）。这就像换成了轻便但坚固的防盗门。它占的地方很小，但依然很难被暴力破解。

第二层：逻辑锁（智能的机关锁）

比喻：这就像在面包里藏了一个只有特定顺序按下去才会响的机关。
新做法：使用了 TTLock 技术。以前的锁，小偷只要试错几次就能猜出密码。但 TTLock 就像是一个“陷阱”，如果你按错了，面包不仅不会坏，反而会故意变味（输出错误结果），而且这种变味非常隐蔽，让小偷很难通过观察面包的味道来猜出密码。

第三层：硬件混淆（隐形斗篷）

比喻：这是最关键的一步。以前的锁和面包之间有明显的连线，小偷一眼就能看出“哦，这里有个锁，拆掉它面包就安全了”。
新做法：作者用 LUT（查找表）混淆技术，给锁和面包之间的连线穿上了一件**“隐形斗篷”**。
- 现在，小偷看到的电路就像一团乱麻，根本分不清哪部分是面包，哪部分是锁，哪部分是加密算法。
- 即使小偷把“锁”拆了，因为不知道“隐形斗篷”下的连接关系，面包依然是一团乱码，无法使用。

3. 作者还做了什么？（攻防演练）

为了证明这套装备真的有用，作者自己扮演了“大盗”：

攻击旧方案：他们发现，以前那种用 AES 大锁的方案，只要把大锁拆下来（移除攻击），面包就暴露了。
攻击新方案：他们试图用同样的方法攻击新方案，结果发现：
1. 因为穿了“隐形斗篷”，根本找不到锁在哪里。
2. 因为用了轻量级加密，就算猜到了锁，也解不开里面的数学谜题（代数攻击失败）。
3. 因为用了 TTLock，试错成本太高，电脑算到死也解不开（SAT 攻击失败）。

4. 实验结果：既省钱又安全

作者用真实的芯片设计做了测试：

体积：以前的加密方案会让芯片面积变大 11 倍甚至 60 倍（就像面包还没烤，模具就占了整个厨房）。而新方案（SOHNI）只让芯片面积增加了 1 到 2 倍，甚至在大芯片上只增加一点点。
安全性：在 3 天的测试时间里，所有的攻击手段（包括暴力破解、结构分析）都无法破解新方案。

总结

这篇论文的核心思想就是：不要试图用笨重的“金库门”去保护面包，而应该给面包穿上“轻便的防弹衣”、装上“智能机关”，再披上“隐形斗篷”。

这样，芯片既便宜（硬件开销小），又安全（防超产、防盗版），让那些想偷窃或造假的小偷彻底没辙。作者还开发了一个自动化工具（SOHNI），让设计师可以一键生成这种安全的芯片。

这篇论文提出了一种高效的混合集成电路（IC）保护机制，旨在解决全球芯片制造供应链中日益严重的过度生产和盗版问题。该机制结合了轻量级密码学（LWC）算法、**先进的逻辑锁（Logic Locking）和硬件混淆（Hardware Obfuscation）**技术，以在最小化硬件开销的同时提供强大的安全性。

以下是对该论文的详细技术总结：

1. 研究背景与问题定义

背景：随着 IC 设计流程的全球化，芯片面临过度生产（Overproduction）和盗版（Piracy）的威胁。现有的保护技术（如逻辑锁和硬件混淆）大多因缺乏基于数学证明的安全性而被攻破。
现有方案的缺陷：
- 传统的基于密码学的保护方案（如使用 AES 算法）虽然安全，但会导致巨大的硬件复杂度（面积、延迟和功耗显著增加），不适合资源受限的物联网（IoT）设备。
- 现有的逻辑锁技术（如 XOR/XNOR 门、Anti-SAT、TTLock 等）容易受到 SAT 攻击、结构分析攻击或移除攻击。
- 特定文献 [8] 提出的基于 AES 的锁存方案已被证明存在严重漏洞：易受移除攻击（提取原始设计）和代数攻击（提取密钥）。
核心问题：如何设计一种防御机制，既能有效防止过度生产和盗版，又能保持极低的硬件开销，并对现有的及潜在的各类攻击具有鲁棒性。

2. 方法论：复合 IC 保护机制

论文提出了一种名为 SOHNI 的计算机辅助设计（CAD）工具，实现了以下复合保护流程：

逻辑锁（Logic Locking）：
- 采用 TTLock（也称为 SFLL-HD0），这是一种双翻转逻辑锁（Double Flip Locking Technique, DFLT）。
- TTLock 通过引入关键信号（Critical Signal）来破坏特定输入模式下的电路功能，并在正确密钥下恢复功能。它比单翻转锁（SFLT）更能抵抗 SAT 攻击。
轻量级密码学（Lightweight Cryptography, LWC）：
- 使用轻量级分组密码算法（如 SIMON、PRESENT 或 ASCON）替代传统的 AES。
- 这些算法经过优化，硬件实现面积小，且基于数学上难以破解的混淆和扩散原理。
- 在保护流程中，LWC 算法用于生成锁定的密钥流，直接连接到逻辑锁的恢复单元。
硬件混淆（Hardware Obfuscation）：
- 采用基于**查找表（LUT）**的混淆技术。
- 将 LWC 算法与逻辑锁之间的连接（即恢复单元中的逻辑门）替换为 LUT。
- 这使得攻击者无法通过结构分析轻易识别出哪些部分属于密码算法，哪些属于原始设计，从而切断了移除攻击的路径。

工作流程：
原始设计 $\rightarrow$ 逻辑锁（TTLock） $\rightarrow$ 连接 LWC 模块 $\rightarrow$ LUT 混淆连接 $\rightarrow$ 最终锁定网表。

3. 提出的攻击分析

为了验证新机制的安全性，作者提出了两种针对旧有方案（特别是文献 [8]）的攻击方法：

移除攻击（Removal Attack）：
- 目标：从被锁定的电路中分离出原始设计。
- 原理：识别出由密码算法生成的输出逻辑锥，将其移除并替换为密钥输入，然后利用 SAT 攻击求解剩余电路的密钥，从而还原原始设计。
- 结果：该攻击成功破解了文献 [8] 中基于 AES 的方案，证明了其易受攻击性。
代数攻击（Algebraic Attack）：
- 目标：直接求解密码算法的密钥。
- 原理：将提取出的密码算法转换为合取范式（CNF），结合已知的输入输出模式，利用 SAT 求解器求解密钥。
- 结果：在旧方案中有效，但在 SOHNI 方案中，由于 LUT 混淆和 LWC 算法的复杂性，攻击者无法提取出完整的密码算法结构，导致攻击失败。

4. 实验结果

作者使用 ITC'99 和 EPFL 基准电路进行了广泛的实验，对比了 SOHNI（使用 SIMON、PRESENT、ASCON）与现有方案（文献 [8] 的 AES 方案、文献 [9] 的 Trivium 方案）及其他逻辑锁技术。

硬件复杂度（面积开销）：
- 显著降低：与文献 [8]（使用 AES）相比，SOHNI 生成的锁定电路面积减少了 11.6 倍（在大型电路 b20_C 上）。
- 对比文献 [9]：面积减少了 59.8 倍。
- 具体数据：使用 SIMON_32_64_32 算法时，大电路的面积开销仅为 1.6% 到 106.1% 不等，且随着原始设计复杂度的增加，相对开销显著下降（例如在大型加法器上仅为 1.2 倍），显示出良好的可扩展性。
安全性（抗攻击能力）：
- 移除攻击：在 SOHNI 锁定的设计上，移除攻击无法提取原始设计（NoS - No Solution），因为 LUT 混淆使得攻击者无法识别并移除密码模块。
- 代数攻击：由于无法提取密码算法结构，代数攻击不适用（NA）。
- SAT 攻击与结构分析：由于 TTLock 的特性以及密钥输入数量巨大（包含 LUT 密钥），现有的 SAT 攻击和结构分析攻击在 3 天的时间限制内均无法找到密钥。
密钥数量：SOHNI 方案引入了更多的密钥输入（由于 LUT 混淆），增加了暴力破解的难度。

5. 主要贡献

提出了一种复合 IC 保护技术：将轻量级密码算法（如 SIMON）、TTLock 逻辑锁和 LUT 硬件混淆有机结合，实现了高安全性和低硬件开销的平衡。
开发了开源 CAD 工具 SOHNI：自动化工具，支持多种 LWC 算法（ASCON, PRESENT, SIMON）和多种逻辑锁/混淆技术，方便生成安全 IC。
提出了新的攻击方法：
- 针对文献 [8] 的移除攻击，成功提取了原始设计。
- 针对文献 [8] 的代数攻击，成功提取了密钥。
- 这些攻击揭示了现有基于密码学方案的脆弱性，并验证了新方案的鲁棒性。

6. 意义与结论

安全性提升：该方案通过“三重保护”（DFLT + LWC + LUT 混淆）形成了一个复合防御体系，使得现有的移除、代数、SAT 和结构分析攻击均告失败，有效防止了过度生产和盗版。
效率提升：相比传统基于 AES 的硬件保护方案，该方案在硬件面积上实现了数量级的优化，使其真正适用于资源受限的 IoT 设备和大规模 IC 设计。
实际价值：SOHNI 工具为芯片设计者提供了一种可落地的、经过验证的硬件安全解决方案，填补了轻量级密码学与逻辑锁结合应用的空白。

综上所述，这篇论文通过创新的架构设计和严格的攻击验证，证明了结合轻量级密码学与高级混淆技术的混合保护机制是解决当前 IC 安全挑战的有效途径。