想象一下,你正试图偷听一个在锁着的房间里发生的秘密对话。通常,为了听到耳语,你必须把耳朵紧紧贴在门上。但如果你能站在街对面,却仍然听清每一个字呢?
这就是TriSweep背后的理念,这是由研究人员 Eric Yocam 和 Varghese Vaidyan 创建的一种新型计算机模拟。他们尚未建造真正的飞行机器人;相反,他们构建了一个“虚拟游乐场”,以测试由四架微型无人机组成的团队能否在不接触计算机芯片的情况下,从远处窃取秘密加密密钥。
以下是他们的“无人机小队”如何运作的简单解释:
问题:“耳语”太微弱
当计算机芯片(如智能卡或路由器中的芯片)进行加密数据的数学运算时,会泄漏微小的电磁能量。这就像微弱的耳语。
- 旧方法:黑客通常必须将传感器放置在距离芯片几毫米的地方,才能清晰地听到耳语。
- 新威胁:研究人员问道:“如果黑客驾驶无人机靠近窗户或飞越栅栏会怎样?”他们发现,当前的安全假设是黑客无法靠得足够近。TriSweep 测试的是他们是否实际上能够做到。
解决方案:四机编队
TriSweep 并非让一架无人机包揽所有任务,而是使用一个由四架无人机组成的团队,每架都有特定的任务,它们像一支排练精良的管弦乐队一样协同工作。
- 无人机 A(锚点):这架无人机保持静止,充当“指挥”。它掌控节奏,确保所有人步调一致。
- 无人机 B(掩码监听者):计算机芯片戴着“掩码”(一种隐藏秘密的安全技巧)。无人机 B 专门负责监听芯片戴上掩码的那一刻。
- 无人机 C(密文监听者):这架无人机监听芯片在戴着掩码时进行实际数学运算(即秘密部分)的那一刻。
- 无人机 D(累加器):这是“大脑”。它坐在稍远一点的地方,接收来自其他三架无人机的录音,并负责繁重的计算工作。
魔法技巧:用“降噪”消除秘密
这里是巧妙之处。芯片的“掩码”就像掩盖秘密信息的静电噪音。
- 无人机 B 听到了“掩码噪音”。
- 无人机 C 听到了“秘密信息 + 掩码噪音”。
- 无人机 D 将这两份录音以特殊方式相乘。
想象你有两首歌曲的录音。其中一首里有一声响亮的咳嗽,另一首里有同样的咳嗽但没有音乐。如果你将它们完美混合,咳嗽声就会相互抵消,突然间,音乐变得清晰起来。无人机 D 通过数学运算执行这一过程,以消除“掩码”并揭示秘密密钥。
结果:效果如何?
由于他们尚未建造真正的无人机,他们利用来自其他安全测试的真实数据,在一台超高速计算机上运行了整个场景。
- 距离:他们测试了从 10 英寸(0.25 米)到约 5 英尺(1.5 米)的距离。
- 团队协作:单独一架无人机在猜测密钥方面表现极差(就像在干草堆里找针)。但当三架监听无人机协同工作时,信号强度增加了4.8 分贝(相当于显著调大了音量)。
- 成功:有了完整的四机编队,模拟以极高的置信度成功猜出了秘密密钥。其表现比单架无人机大约好 10 倍。
- 抖动修复:真实的无人机在悬停时会轻微晃动(就像手持相机的手在抖动)。研究人员在代码中添加了一个“稳定器”,完美对齐了录音,解决了晃动问题,使攻击更加精准。
关键点(论文实际所说的内容)
重要的是要了解这篇论文没有说什么:
- 没有真实无人机:他们没有建造或飞行任何物理无人机。一切都在计算机模拟中发生。
- 没有真实硬件:他们尚未建造特殊的天线或“大脑”无人机。
- 下一步:研究人员表示,接下来的第一步是实际建造原型并飞行它,以观察现实世界是否像他们的计算机模型那样表现。
结论
TriSweep 是一个“概念验证”模拟。它表明,如果你拥有四架协同工作的无人机,你可能能够通过监听计算机芯片的电磁“耳语”,从远处窃取秘密代码。这表明,如果无人机可以在附近悬停并窃听,仅仅将设备藏在锁着的门后可能是不够的。
技术摘要:TriSweep——用于电磁侧信道分析的四无人机蜂群框架
问题陈述
电磁(EM)侧信道分析(SCA)传统上依赖于一种威胁模型,即攻击者将探头放置在距离目标设备毫米至厘米的范围内。这一假设使得诸如锁定面板和外壳等物理安全措施行之有效。然而,商用现成(COTS)无人机(UAV)和低成本软件定义无线电(SDR)硬件的普及挑战了这一模型。具备在 0.25–1.5 米 standoff 距离悬停能力的攻击者,无需直接接触即可绕过基于接近度的物理安全。此外,现代嵌入式实现通常采用一阶掩码方案来随机化中间值,这需要二阶分析来恢复密钥。传统的二阶攻击必须从单个轨迹中算法性地分离泄漏事件(例如掩码加载和掩码计算),该过程对时序抖动和噪声敏感。本文提出,多无人机蜂群可以在空间上分离这些泄漏事件,从而在无需算法预处理的情况下物理地抵消掩码。
方法论
TriSweep 是一个仿真框架,旨在评估用于自主 standoff 电磁侧信道分析的四无人机蜂群架构。该系统不使用 fabricated 硬件;相反,它结合了真实的、公开可用的 ANSSI ASCAD 电磁数据集(ATmega8515 掩码 AES-128)与基于物理的自由空间路径损耗噪声模型。
该框架由四个不同的无人机角色组成:
- 无人机 A(锚点): 在参考距离(Dref=0.25 米)处悬停,提供时钟参考和全频谱电磁采集。
- 无人机 B(掩码探头): 专门用于捕获掩码寄存器加载泄漏窗口。
- 无人机 C(密码探头): 专门用于捕获掩码后的 SubBytes 输出泄漏窗口。
- 无人机 D(累加器): 一个静止单元,接收来自其他三架无人机同步的 IQ 轨迹。
攻击流程依赖于七种算法:
- 通信与目标定位: 50 Hz 心跳协议协调捕获触发,并通过到达时间差(TDOA)进行目标定位。
- 蜂群重定位: 无人机 B 和 C 每 200 毫秒自主重新定位,以最大化分布式费雪信息。
- 时钟同步: 采用两阶段协议(GPSDO 粗略对齐 followed by 1 kHz 导频音互相关),实现亚 10 纳秒的无人机间抖动,支持相干组合。
- 相干组合: 无人机 D 对同步轨迹执行最大比合并(MRC),产生理论上的 4.8 dB 信噪比增益(10log10(3))。
- 二阶掩码抵消: 无人机 D 计算来自无人机 B 和无人机 C 的轨迹的居中乘积(XSO=(TB−TˉB)⋅(TC−TˉC))。这种物理空间分离使得掩码 r 能够在无需知晓其值的情况下被抵消。
- 密钥排名累加: 系统聚合来自一阶轨迹、二阶乘积以及可选的双通道卷积神经网络(CNN)的对数似然值。
主要贡献
- 四无人机架构: 一种新颖的设计,将泄漏源分离到专用的采集无人机(锚点、掩码探头、密码探头)和一个中央累加器上。
- 物理二阶抵消: 首个提出的通过空间分解和相干组合实现二阶掩码抵消的框架,而非单纯对单条轨迹进行算法分离。
- 蜂群共识与同步: 专为空中平台设计的分布式费雪信息最大化协议和亚 10 纳秒时钟同步协议。
- 分析轨迹对齐: 一种互相关对齐方法,补偿无人机悬停振动(模拟为 100 样本抖动),显著降低去同步数据集上的密钥排名。
- 仿真框架: 一个经过验证的仿真环境,使用真实的 ASCAD 数据集和校准的噪声模型,在制造前预测物理系统的性能。
结果
针对三个真实 ASCAD 数据集(主要掩码、50 样本去同步和 100 样本去同步)进行评估,仿真结果如下:
- 密钥排名提升: 在 0.25 米处的主要掩码数据集上,四无人机系统实现了 18 ± 1.7 的模拟密钥排名(五次种子验证),相比单无人机基线排名 197 提升了十倍。
- 信噪比增益: 三个采集器的相干组合提供了 4.8 dB 的信噪比增益,与理论预测一致。
- 抖动补偿: 分析轨迹互相关对齐将 100 样本抖动数据集上的密钥排名从 89(单无人机、未对齐)降低至 21。
- CNN 性能: 累加器中的双通道 CNN 收敛至 0.454 的损失(随机基线为 5.545),并改善了去同步数据集的排名,尽管与手动二阶乘积相比,它在干净掩码数据上出现了过拟合。
- 距离敏感性: 在主要数据集上,系统在 0.25 米处保持密钥排名为 20,在 1.5 米处为 25,表明二阶组合补偿了更大 standoff 距离处的信噪比损失。
意义与主张
本文声称,TriSweep 通过结合空中机动性、多接收器相干增益和自主重定位,在 standoff 距离击败掩码密码实现,从而确立了一种“定性上新的威胁向量”。其主要意义在于泄漏事件的物理空间分解,这使得无需算法预处理或知晓掩码值即可实现掩码抵消。
作者明确指出,尚未制造任何物理硬件;所有结果均源自使用真实数据集和噪声模型的仿真。因此,本文将 TriSweep 定位为设计规范和定量预测工具。作者承认,物理部署面临未建模的挑战,例如螺旋桨电磁干扰(EMI)和振动引起的相位噪声,这些可能会降低模拟的信噪比。确定的下一步是构建并飞行物理原型,以验证框架的预测并量化仿真与现实之间的差距。
每周获取最佳 electrical engineering 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。