安全与密码学2024arxiv.org
TikTag：利用推测执行攻破 ARM 内存标记扩展
TikTag: Breaking ARM's memory tagging extension with speculative execution
专业 · 约 45 分钟读完前置知识：计算机体系结构、推测执行与侧信道、ARM MTE 内存标记
导读
论文研究 ARM 的 Memory Tagging Extension（MTE）在推测执行攻击下是否仍能提供安全防护。核心是提出 TikTag 攻击，利用推测执行期间 MTE 标签检查的行为泄露标签信息，从而绕过依赖随机标签的防护；评论指出这会把原本约 1/16 的暴力猜测成功率提高到接近 100%。
HN 关注点：焦点是 ARM 承认受影响芯片但拒绝修改、Chrome 不修复且 MTE 防御默认未启用，以及 MTE 到底只是调试特性还是应被视为安全边界。
HN 评论精选
这几条评论里：质疑 1 补充 1
质疑质疑实际影响，认为 MTE 本非安全边界，1/16 暴力破解已存在，此攻击只是把成功率提至 100%。
这真的有实际影响吗？如果你在用 MTE，你早就知道有个简单攻击有 1/16 的成功率（如果为特殊用途保留标签，或分配器发标签的方式有可利用模式，概率可能更高）。在这个系统里，这把攻击成功率推到 100%。技术不错，但（希望）你设计时已经假设 MTE 会被攻破，所以这没改变什么。毕竟 MTE 一直只被宣传为调试特性。
gchadwick查看英文原文
Does this actually have any real world implications? If you're using MTE you already know there's a simple attack that succeeds with 1/16th probability (or maybe greater if you reserve some tags for special purposes or have some exploitable pattern in how your allocator hands out tags). In that system this pushes the attack probability to 100%. A nice technique but (hopefully) you've already architectured things assuming MTE will be broken so this doesn't change anything. Certainly MTE was always pushed as a debugging feature only.
补充ARM 和 Chrome 确认问题但拒绝修复，理由是 MTE 标签非敏感数据、V8 sandbox 不保证内存保密且 MTE 默认未启用。
ARM 已确认在 Cortex-X2、Cortex-X3、Cortex-A510、Cortex-A520、Cortex-A710、Cortex-A715 和 Cortex-A720 处理器上存在该攻击可能，但不打算修改 CPU 来阻止问题[0]，因为按 MemTag 架构，标签对应用来说不是敏感数据。Chrome 安全团队承认问题但不会修复，因为 V8 sandbox 并非为内存数据保密而设计，且 MTE 防御默认未启用。论文很早就提到这点；如果想直接上手，GitHub 上有原型工具包[1]。
skilled查看英文原文
ARM has confirmed the possibility of an attack on systems with Cortex-X2, Cortex-X3, Cortex-A510, Cortex-A520, Cortex-A710, Cortex-A715 and Cortex-A720 processors, but does not intend to make changes to the CPU to block the problem[0], as how the MemTag architecture means that tags are not sensitive data to applications. Chrome's security team acknowledged the issues but won't fix them, as the V8 sandbox isn't designed for memory data confidentiality, and MTE defenses aren't enabled by default. It's mentioned quite early in the paper but there's a prototype toolkit on GitHub[1] if you want to jump straight into that. [0]: https://developer.arm.com/documentation/109544/latest [1]: https://github.com/compsec-snu/tiktag
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2024Hacker News 讨论帖180 分 · 26 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选