安全与密码学2018misc0110.net编辑精选
NetSpectre：通过网络读取任意内存
NetSpectre: Read Arbitrary Memory Over Network
进阶 · 约 60 分钟读完前置知识：Spectre/Meltdown 基础、分支预测机制、侧信道攻击
导读
NetSpectre 论文提出了一种通过网络远程利用 Spectre 类漏洞的攻击方式：攻击者无需在目标机器上执行代码，而是通过测量网络延迟来推断受害程序中存在漏洞代码片段（gadget）时的分支预测与执行行为，从而逐位读取任意内存内容。论文还提出了一种基于 AVX 指令功耗管理状态的侧信道变体。
HN 关注点：这是 Spectre 攻击的远程化扩展，直接关系到云环境（如 Google Cloud）中跨租户数据泄露的现实风险，HN 读者关注其实际可利用性和真实世界影响。
HN 评论精选
这几条评论里：质疑 1 补充 2 亲历 1
补充解读 AVX 功耗侧信道原理，并指出云上实际泄露速率极低、密钥多副本进一步削弱威胁
AVX 侧信道很巧妙，它依赖功耗管理而非缓存：AVX2 空闲 1ms 后进入省电模式，下一条 256 位操作会付出约 2 倍周期惩罚。低错误率下可达每分钟 8 字节。在 Google Cloud 的无关实例间，每 8 小时能读 1 字节（目标含 AVX2 gadget 则 3 字节）。这类攻击会随时间改进，但即便如此，读出一个 AES 密钥也要几天，且假设目标是单一实例；真实部署中密钥可能被复制到数百个实例上。
tptacek查看英文原文
The AVX side channel is neat. It relies on power management rather than cache: after 1ms of AVX2 inactivity (no 256 bit operations being performed), it goes into a power-saving mode; the next 256-bit operation pays a ~2x cycle penalty. They get 8B/min at low error rate with AVX2. In Google Cloud, from unrelated instances, they're getting 1 byte every 8 hours (3 if the target has an AVX2 gadget). Attacks tend to get better over time, but still, that's an AES key in a few days, and it assumes one discrete target; in a real deployment, that secret might be mirrored over hundreds of instances.
质疑质疑攻击是否只在人为构造的代码上验证过，追问真实世界 gadget 的存在
论文似乎只攻击了专门写成包含漏洞 gadget 的受害程序。这个受害程序的代码公开了吗？论文里没看到。有没有在真实程序中发现过这类 gadget？
kentonv查看英文原文
The paper seems to say that they attacked a victim program that was specifically written to include vulnerable gadgets. Is code for this victim program available? I don't see it in the paper. Have such gadgets been found in any real-world programs?
补充认为根因是硬件过度复杂，同时指出软件安全进步使攻击者转向硬件层
这基本可以归咎于过度复杂的 CPU 设计和指令集。复杂性在硬件层面对安全的危害和在软件中一样大。好的一面是，这类攻击变多也说明我们在软件安全上确实取得了进展。
api查看英文原文
This can pretty much all be laid at the feet of overly complex CPU designs and instruction sets. Looks like complexity is as evil for security in hardware as it is in software. On the plus side part of why you see more of these kinds of attacks is that we have actually made progress on software security.
亲历Cloudflare 从业者称在真实生产环境无法复现攻击，质疑论文结果的实际可复现性
很好奇研究者用的实验环境。论文没有公开代码或技术栈，感觉有些刻意构造。我很想能复现。在真实生产环境中尝试至今没能复现出任何比特传输速率。有人复现过吗？能否分享测试细节？
eastdakota查看英文原文
I’d be curious the setup the researchers used. The paper doesn’t release the code or stack. It feels contrived but I’d be interested to be able to replicate. Trying in real, production environments, at least so far, has not been able to replicate any bit transfer rate. Has anyone else been able to reproduce? If so, can you share the specifics of your test?
历次讨论
- 2018Hacker News 讨论帖158 分 · 22 评
同领域还值得读
如何入侵一台已关机的电脑：在 Intel ME 中运行未签名代码
How to hack a turned-off computer, or running unsigned code in Intel ME
这篇 Black Hat 2017 白皮书讨论 Intel Management Engine（ME）的安全问题：如何在 ME 中运行未签名代码，以及攻破处于关机状态的电脑的相关…
安全与密码学2017 · 543 分 · 107 评专业 · 约 40 分钟编辑精选比特币：一种点对点的电子现金系统（2008）
Bitcoin: A Peer-to-Peer Electronic Cash System (2008)
中本聪 2008 年发表的比特币白皮书，提出了无需可信第三方的点对点电子现金系统。
安全与密码学2017 · 536 分 · 394 评入门 · 约 45 分钟编辑精选GPRS 加密算法 GEA-1 的密码分析表明存在故意弱点
Cryptanalysis of GPRS Encryption Algorithms GEA-1 suggest intentional weakness
首次公开了对 GPRS 加密算法 GEA-1 和 GEA-2 的密码分析攻击。
安全与密码学2021 · 487 分 · 107 评专业 · 约 90 分钟编辑精选Signal 消息协议的形式化安全分析
A Formal Security Analysis of the Signal Messaging Protocol
用形式化方法分析 Signal 消息协议（TextSecure）的安全性：作者在多阶段密钥交换模型下，借助自动化证明工具对协议的密钥协商与 Double Ratchet 密钥更新…
安全与密码学2016 · 353 分 · 230 评专业 · 约 120 分钟编辑精选A2：模拟恶意硬件
A2: Analog Malicious Hardware
论文研究如何在芯片设计阶段植入模拟电路形式的恶意硬件后门，使其难以被常规检测发现。
安全与密码学2016 · 315 分 · 94 评专业 · 约 75 分钟编辑精选