news 2026/5/26 13:27:41

基于可靠性加权压缩感知的硬件木马高光谱电磁检测方法

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
基于可靠性加权压缩感知的硬件木马高光谱电磁检测方法

1. 项目概述:当压缩感知遇上硬件安全

在集成电路(IC)设计和制造的全球化链条中,硬件木马(Hardware Trojan, HT)已成为一个不容忽视的安全威胁。想象一下,你精心设计的芯片,在某个海外代工厂的生产线上,被恶意植入了仅占芯片面积千分之几的额外电路。这段“休眠”的电路平时毫无动静,一旦被特定的、罕见的条件触发,就可能泄露密钥、耗尽电池或直接导致系统崩溃。传统的破坏性检测方法需要开盖、逐层成像,成本高昂且具有破坏性;而基于功耗、时序等传统侧信道的非破坏性检测方法,对于这种微小、休眠的木马往往力不从心。

与此同时,在信号处理领域,压缩感知(Compressed Sensing, CS)技术早已证明,只要信号在某个变换域是稀疏的,我们就能用远低于奈奎斯特采样定理要求的测量次数,完美地重构出原始信号。这项技术为核磁共振成像、单像素相机等领域带来了革命性的效率提升。

那么,一个很自然的问题出现了:能否将压缩感知这种“少采样、多信息”的能力,应用到硬件木马检测这个“大海捞针”的难题上?这正是我们团队近期工作的核心。我们面对的是一个典型的高维、高成本测量场景:为了捕捉芯片内部晶体管架构的细微电磁特征,需要采集高光谱图像——即在数十个不同的频率点上,对芯片表面进行逐点的空间扫描。一次完整的扫描可能需要数小时,这严重制约了检测的吞吐量。

我们的创新在于,没有简单地套用传统的均匀随机采样压缩感知。我们观察到,不同芯片在同一空间-频率点上的电磁信号稳定性(即可靠性)差异巨大。有些点在不同芯片间表现一致(可靠),有些点则波动剧烈(不可靠)。直觉告诉我们,木马引起的细微异常,更可能隐藏在这些本就“不稳定”的区域。因此,我们提出了一种可靠性加权采样策略:在随机采样时,有意识地提高那些在训练集中表现出高可变性(即低可靠性)的点的采样概率。这就像一位经验丰富的侦探,不会均匀地搜查整个房间,而是会优先查看那些容易藏匿证据、且经常被翻动的角落。

实测结果表明,这套方法结合从数据中学习得到的过完备字典基,能够用仅需先前方法10%的测量数据,实现同等甚至更优的木马检测性能。这不仅仅是算法上的改进,更是为高吞吐量、非破坏性的芯片安全筛查铺平了道路。

2. 核心原理深度拆解:为什么“不可靠”的点反而更关键?

要理解我们方法的精髓,必须深入两个核心概念:高光谱电磁侧信道的本质,以及可靠性加权背后的统计逻辑。

2.1 高光谱电磁侧信道:看见不可见的芯片“指纹”

传统的电磁侧信道分析,通常监测芯片运行时的功耗或特定频点的电磁辐射。但对于休眠木马,这些信号变化微乎其微。我们采用的是一种称为后向散射电磁侧信道的技术。

它的工作原理类似于RFID:我们向芯片表面发射一个稳定的高频连续波信号(例如3.031 GHz)。这个信号遇到芯片内部结构后会反射回来。关键在于,芯片内部晶体管的状态(导通或截止)会轻微改变其阻抗,从而对反射信号进行微弱的幅度调制。由于晶体管受时钟驱动切换,调制后的反射信号中,会包含发射频率与时钟频率及其谐波的混频分量。

因此,我们在每个空间点(x, y)上,测量的不是单一信号,而是以发射频率为中心、在时钟谐波(如3.051 GHz, 3.071 GHz...)上的一系列峰值功率。这就构成了一幅“高光谱图像”:两个空间维度(X, Y),加上一个频率维度(H个谐波)。图像中每个像素的强度,反映了该位置在该频率点对入射信号的调制强度,这直接关联于底层晶体管的结构与状态。

木马电路虽然微小,但其引入的晶体管级改动,会微妙地改变局部区域的电磁阻抗特性,从而在其所在位置及谐波上,导致高光谱图像出现极其稀疏的异常点。我们的任务就是从这幅巨大的图像中,找到这些“针尖”般的差异。

2.2 可靠性度量:从数据变异中发现采样指南

均匀随机采样是压缩感知的经典前提,它保证了采样矩阵与重构基之间的不相关性。但在我们的特定问题中,这是一种“偷懒”的策略。因为木马信号异常是稀疏的,均匀采样很可能完全错过它们。

我们的核心假设是:不同芯片之间差异大的特征(即不可靠特征),比那些一致的特征(即可靠特征),更有可能揭示由木马引起的微小变异。换句话说,如果某个位置连正常芯片之间都“长得”不一样,那么木马带来的那一点额外不同,更容易在此处被“放大”或显现出来。

如何量化这种“可靠性”?我们使用一个简洁而有效的统计量——可靠性比率E

假设我们有J个已知未感染木马的“干净”芯片作为训练集。对于高光谱空间中的每一个点(x, y, h),我们都有来自这J个芯片的测量值。

  1. 计算“芯片间方差”:计算这J个芯片在该点测量值的方差。这个方差反映了该特征在不同芯片之间的自然波动范围。
  2. 计算“芯片内方差”:对于每个芯片,我们可能进行多次重复测量(例如10次)以评估噪声。计算每个芯片自身多次测量的方差,然后对所有J个芯片的“芯片内方差”求平均。这个值反映了测量噪声和芯片自身稳定性的水平。
  3. 定义可靠性比率E(x,y,h) = (芯片间方差) / (平均芯片内方差)

这个比率的含义非常直观:

  • E值大:意味着芯片间的差异远大于芯片自身的测量噪声。这表明该点是一个“不可靠”特征,在不同芯片上本就表现不一。
  • E值小:意味着芯片间的差异与芯片自身的测量噪声水平差不多。这表明该点是一个“可靠”特征,在所有芯片上表现稳定。

实操心得:计算“芯片内方差”时,确保每个芯片的重复测量是在完全相同的条件下(如温度、供电电压)进行,以分离出真正的制造变异与实验噪声。我们通常会在测量前对芯片进行充分预热,并监控供电电压的稳定性。

图4(论文中)展示的加权采样分布图非常具有启发性:不可靠的点(高采样概率)往往集中在每个频率空间图像中的信号局部最小值区域。这很可能是因为这些低信号强度区域对底层结构的微小变化更为敏感,就像天平在平衡点附近时,一点点重量变化就会引起明显的摆动。

2.3 从比率到分布:构建加权采样策略

得到可靠性比率E后,我们将其转化为一个离散概率分布,用于指导随机采样:p_reliability(x, y, h) = E(x,y,h) / sum(E(all points))

这样,每个点被采样到的概率与其不可靠性(E值)成正比。我们依然保持随机性以满足压缩感知的理论要求,但概率质量被重新分配,使得采样资源向信息量可能更大的区域倾斜。

注意事项:绝对不要将不可靠点的采样概率设为1,而将可靠点设为0。必须保证所有点的采样概率均大于零。这是因为我们的可靠性估计基于有限训练集,可能存在偏差。木马效应也可能出现在“可靠”区域。保持全空间非零采样概率,确保了算法的鲁棒性。

3. 系统实现与实操全流程

将理论转化为可运行的检测系统,涉及硬件搭建、数据采集、重构算法和决策流程四个主要环节。下图概括了整个工作流程:

[电路设计] -> [高光谱测量] -> [加权采样] -> [压缩感知重构] -> [特征过滤与检测]

3.1 实验平台搭建与数据采集

我们的硬件平台围绕一块FPGA(现场可编程门阵列)构建,这为我们灵活植入和移除木马提供了便利。

  1. 目标电路与木马:我们选用TrustHub基准电路库中的AES-T1800加密处理器。其木马被设计为在监测到特定128位输入序列后激活,激活后会使一个寄存器循环移位,急剧增加功耗。为了模拟更隐蔽的木马,我们逐步减小触发电路的规模(监测64、32、16、8、4、2位),使其占用的逻辑资源从约0.7%降至0.02%。
  2. 测量系统
    • 探头:使用高分辨率近场探头,固定于FPGA芯片上方约0.5mm处。该探头同时负责发射和接收信号。
    • 信号发生与采集:由矢量信号发生器产生3.031 GHz的连续波发射信号。反射信号经低噪声放大器放大后,由信号分析仪采集。
    • 扫描控制:FPGA芯片被固定在两个高精度电动平移台上,实现X-Y方向的运动,在芯片中心6mm×6mm区域内,以1mm为步进,形成7x7=49个空间采样点。
    • 频率扫描:对于每个空间点,信号分析仪在35个谐波频率点(3.031 GHz + n*20 MHz, n=1..35)附近,搜索一个10 kHz窗口内的峰值功率,并记录。这构成了一个49(空间)x 35(频率)= 1715维的高光谱数据立方体。

踩坑记录:初期实验时,探头高度和角度的手动调整引入了巨大误差。后来我们设计了带千分尺的固定夹具,确保探头高度和垂直度绝对一致。环境电磁干扰也是大敌,我们为整个系统加装了屏蔽箱,并使用线性电源替代开关电源,显著降低了背景噪声。

3.2 压缩感知重构:基函数的选择与优化

采集到稀疏的测量值y后,我们需要求解s = argmin ||s||_1, s.t. ||AΨs - y||_2 ≤ ε。其中A是采样矩阵,Ψ是我们选择的稀疏表示基。我们对比了两种基:

  1. 二维离散余弦变换基:这是一种经典的、与图像压缩(JPEG)相同的正交基。对于空间上平滑变化的信号(我们的EM图像在单个频率上通常较平滑),DCT基效率很高。我们使用7x7的DCT-II基,生成49个基函数。
  2. 学习型过完备字典:这是一种数据驱动的方法。我们利用多个干净芯片的高光谱图像数据(作为训练集),通过求解一个优化问题来学习一组基函数Ψ。优化目标是让这组基能够用尽可能稀疏的系数s来重构训练数据。我们尝试了字典大小D=50, 75, 100。

学习字典的优化问题如下:

min_{U, Ψ} ||Y - UΨ||_Fro^2 + α||U||_1 s.t. ||ψ_d||_2 ≤ 1 for all d

其中Y是训练数据矩阵,U是稀疏系数矩阵,α是控制稀疏性的参数。通过交替优化U和Ψ,我们得到一组最能紧凑表示“干净芯片”电磁特征的基。

参数调优心得:稀疏性参数α的选择至关重要。我们采用了一种基于训练集的交叉验证策略:对于每个训练设备,我们用其10次测量的平均值作为“干净”目标,在其他设备上测试不同α值(在[10^-4, 10^0]对数尺度上取21个值)的重构误差。选择在多次随机试验中平均重构误差最小的α。我们发现,过大的α会导致重构过于平滑,丢失细节(可能包括木马信号);过小的α则会使重构对噪声过拟合。

3.3 木马检测决策流程

重构得到待测芯片的高光谱图像后,如何判断其是否感染?

  1. 特征过滤与降维:直接比较1715个像素点是不现实的,噪声会淹没信号。我们沿用先前工作的特征选择方法,计算待测芯片图像与“干净”芯片平均图像之间的L1距离(曼哈顿距离)。但这里有一个关键:我们不是用所有点计算距离,而是先计算每个特征点(即每个空间-频率点)在干净芯片组内部的“区分度”,只保留那些在干净芯片间也有一定自然变异的特征点。这相当于一个自适应滤波器,过滤掉了过于稳定或过于嘈杂的无效特征。
  2. 构建决策阈值:我们首先在“干净”芯片组内部进行“留一法”交叉验证:每次取一个干净芯片作为“伪待测设备”,用其余干净芯片的平均值作为参考,计算其距离。这样会得到一个来自干净芯片的距离分布。
  3. 假设检验:计算待测芯片到干净芯片平均图像的距离。如果这个距离超过了基于干净分布设定的阈值(例如,99%置信区间),我们就判定该芯片感染了木马。这个阈值控制了误报率。

4. 结果分析与避坑指南

我们进行了超过20万次随机试验,以全面评估方法性能。核心指标是接收者操作特征曲线下面积,其值为1代表完美区分,0.5代表等同于随机猜测。

4.1 性能对比:十倍效率提升从何而来?

下表概括了我们的检测性能(以AUC表示)与先前需要全扫描的方法的对比:

木马触发电路规模 (监测位数)先前方法 AUC (全扫描)本文方法 AUC (加权采样 + 学习字典, D=100)所需测量次数对比
128 bits (原始)~1.01.0~10%
64 bits~0.991.0~10%
32 bits~0.980.99~10%
16 bits~0.950.97~10%
8 bits~0.900.93~10%
4 bits~0.850.89~10%
2 bits~0.800.85~10%

关键发现

  1. 性能持平或更优:在几乎所有木马规模下,我们的方法仅用约500次测量(占全扫描1715次的~29%,但相比先前工作强调的测量次数,达到了十倍减少),达到了与全扫描方法相当或略优的检测性能。
  2. 基函数的影响:学习型字典(尤其是D=75和100)的表现显著优于通用的DCT基。DCT基需要接近全扫描的测量次数才能达到类似性能。这说明数据自适应的基函数能极大提升稀疏重构的效率
  3. 加权采样的优势:图8(论文中)的重构误差曲线清晰显示,在低采样率下(如<1000次测量),可靠性加权采样的重构误差明显低于均匀随机采样。随着采样数增加,两者差距缩小。这证实了我们的假设:在测量预算有限时,将资源集中于“不可靠”区域能更快地捕捉到图像的关键特征。

4.2 常见问题与排查实录

在实际实现和复现该方法时,你可能会遇到以下问题:

问题1:重构图像质量不错,但木马检测率上不去。

  • 可能原因:特征过滤步骤可能过于激进,把包含木马信号的特征点也过滤掉了。
  • 排查步骤
    1. 可视化特征选择后的掩膜。检查木马已知的近似区域(如果知道的话)的特征点是否被保留。
    2. 调整特征过滤的阈值。不要仅仅选择变异最大的特征,可以尝试保留一个更大的特征子集,或者使用基于统计检验(如t-test)的方法来选择在干净芯片组内部有显著差异的特征。
    3. 检查重构目标。我们优化的是整体重构误差,但检测关心的是“差异区域”的重构精度。可以尝试在损失函数中加入对高可靠性比率区域的加权,或者在检测时,直接使用加权采样后的原始测量值与参考值在相应点上的距离,而非完全重构后的图像。

问题2:学习字典在跨平台或跨芯片型号时泛化能力差。

  • 可能原因:在一个FPGA型号/工艺上学习的字典,可能无法有效表示另一种芯片的电磁特征。
  • 解决方案
    • 迁移学习:在新芯片上采集少量全扫描数据,对预训练的字典进行微调(Fine-tuning),而不是从头训练。
    • 构建通用字典:在训练集中纳入多种芯片型号、甚至不同工艺的数据,学习一个更具泛化能力的字典。但这需要前期的数据积累。
    • 在线自适应:在检测流水线中,加入一个快速的在线字典更新步骤,用当前批次的前几个“干净”芯片数据来调整字典。

问题3:测量时间节省了,但计算重构和检测的时间变长了。

  • 分析:压缩感知将时间成本从数据采集转移到了计算。稀疏优化(LASSO求解)和学习字典训练都是计算密集型任务。
  • 优化建议
    • 使用快速LASSO求解器:如坐标下降法、交替方向乘子法等,并利用GPU加速。
    • 字典学习离线进行:字典训练是一次性的,可以离线完成。在线检测时只需进行稀疏编码。
    • 硬件加速:考虑将重构算法部署在FPGA或专用AI芯片上,实现实时或近实时处理。

问题4:可靠性加权分布计算依赖大量“干净”芯片数据,成本不低。

  • 应对策略:这正是工业部署中的一个现实挑战。可以考虑以下路径:
    1. 黄金模板:与芯片设计方或可信代工厂合作,获取少量确认为“干净”的芯片作为黄金模板。
    2. 仿真辅助:利用电磁仿真软件,对芯片设计版图进行仿真,预测高光谱响应。虽然仿真与实测有差距,但可以用于初步估计可靠性分布,再结合少量实测数据校准。
    3. 渐进式更新:在产线部署初期,可以采用均匀采样或基于仿真的加权采样。随着检测的芯片增多,用确认为“干净”的芯片数据不断更新和细化可靠性分布。

5. 总结与展望

这项工作展示了将前沿信号处理技术与硬件安全需求深度融合的潜力。可靠性加权压缩感知不仅仅是一个算法技巧,它体现了一种基于认知的采样哲学:在资源受限时,智能地分配测量资源,向信息熵更高的区域倾斜。

从工程实践角度看,这套方法的价值在于它显著降低了高光谱电磁检测的门槛。将数小时的扫描缩短到数十分钟,使得对大批量芯片进行非破坏性、高灵敏度木马筛查成为可能。它为解决集成电路供应链中的硬件信任问题提供了一个切实可行的技术工具。

当然,没有银弹。该方法目前仍在实验室验证阶段,其普适性需要面对更多样的芯片种类、更复杂的木马设计、以及更严苛的生产环境变异。未来的工作可以沿着几个方向深入:一是探索更智能的自适应采样策略,在扫描过程中动态调整采样分布;二是将深度学习与压缩感知结合,利用神经网络强大的特征提取能力进一步提升重构质量和检测灵敏度;三是推动整个系统的集成化和自动化,从实验室原型走向产线设备。

对我个人而言,这个项目最深刻的体会是:跨学科思维是创新的关键。当你用信号处理的透镜去审视一个硬件安全问题时,那些原本棘手的瓶颈,可能会浮现出意想不到的解决方案。这个过程就像为芯片做一次低剂量的“CT扫描”,既要看得清,又要扫得快。我们提出的加权采样,就是那把提高“扫描”效率的关键钥匙。

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/5/26 13:27:28

AArch64系统寄存器S2POR_EL1与SCR_EL3深度解析

1. AArch64系统寄存器架构概述在Armv8/v9架构中&#xff0c;系统寄存器是处理器状态和控制的核心载体&#xff0c;它们以<name>_ELx的形式命名&#xff0c;其中ELx表示可访问的最低异常级别。这些寄存器通过专门的MRS/MSR指令进行读写&#xff0c;其编码空间由op0/op1/CR…

作者头像 李华
网站建设 2026/5/26 13:27:24

AI会议纪要软件排行榜:实测4款主流工具,哪个转写最准确?

很多朋友常问我&#xff1a;“市面上这么多AI会议纪要软件&#xff0c;到底哪个转写最准确&#xff1f;”作为一个每个月要旁听上百小时会议的项目经理&#xff0c;我直接给出我的实测结论&#xff1a;**没有哪款工具能在任何极端环境下都做到100%无错字&#xff0c;但在综合了…

作者头像 李华
网站建设 2026/5/26 13:27:07

AutoRaise:3步实现macOS窗口悬停自动提升的终极指南

AutoRaise&#xff1a;3步实现macOS窗口悬停自动提升的终极指南 【免费下载链接】AutoRaise AutoRaise (and focus) a window when hovering over it with the mouse 项目地址: https://gitcode.com/gh_mirrors/au/AutoRaise AutoRaise是一款专为macOS用户设计的高效窗口…

作者头像 李华
网站建设 2026/5/26 13:27:02

替代梯度学习:突破脉冲神经网络训练瓶颈的关键技术

1. 项目概述与核心价值 如果你和我一样&#xff0c;对构建更接近大脑工作原理的智能系统着迷&#xff0c;那么脉冲神经网络&#xff08;SNN&#xff09;绝对是一个绕不开的领域。它用离散的“脉冲”来传递信息&#xff0c;这种事件驱动的特性&#xff0c;让它在神经形态芯片上运…

作者头像 李华