安全与密码学2025usenix.org编辑精选
Apple iMessage PQ3 协议的形式化分析
A Formal Analysis of Apple's iMessage PQ3 Protocol
专业 · 约 90 分钟读完前置知识：密码学基础、形式化验证方法、密钥交换协议
导读
这篇论文对 Apple iMessage 的 PQ3 后量子加密协议做形式化分析，用形式化方法检验该协议在密钥交换与消息加密上宣称的安全性质。该工作是 2024 年 9 月 PQ3 发布时同名 eprint 论文（2024/1395）的修订版，将在 USENIX Security 2025 上发表。
HN 关注点：HN 读者既关心后量子加密在主流产品中的落地与形式化验证结论，也借机批评 Apple 默认把 Messages 的 iCloud 备份加密密钥交给自家保存，使端到端加密的实际强度大打折扣。
HN 评论精选
这几条评论里：质疑 1 补充 2
质疑PQ3 的端到端加密被 iCloud 备份的密钥托管从根本上削弱，并可能被用于向执法机构提供明文。
安全做得再好也没用：默认情况下，Apple 会把你的加密密钥复制一份存进 iCloud 备份，而 iCloud 备份是 Apple 唯一允许你使用的云备份方案。官方说法是“帮你恢复数据”[1]，顺带一提，收到执法请求时他们还能把你的消息历史以明文交出去，只是大家不爱提这一点。
modeless查看英文原文
All that security, and then by default Apple literally just sends themselves a copy of your encryption keys to store in iCloud backup, the only cloud backup solution Apple allows you to use. "to help you recover your data" [1] (oh and also to send law enforcement your message history in plaintext on request, but we don't talk about that). [1] https://support.apple.com/en-us/102651#:~:text=in%20iCloud%2C-,your%20backup%20includes%20a%20copy%20of%20the%20Messages%20in%20iCloud%20encryption%20key%20to%20help%20you%20recover%20your%20data,-.
补充补充资料：该文是 2024 年 9 月 eprint 论文的修订版。
这是论文的修订版，最初以 eprint 形式在去年 9 月 PQ3 发布时出现过：https://eprint.iacr.org/2024/1395
contact9879查看英文原文
This is a revision of a paper that first appeared as an eprint back in September when PQ3 was announced. https://eprint.iacr.org/2024/1395
补充指向此前关于 PQ3 的 HN 讨论帖。
相关讨论：iMessage with PQ3 Cryptographic Protocol — https://news.ycombinator.com/item?id=39453660 — 2024 年 2 月（267 条评论）
dang查看英文原文
Related. Others? iMessage with PQ3 Cryptographic Protocol - https://news.ycombinator.com/item?id=39453660 - Feb 2024 (267 comments)
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2025Hacker News 讨论帖161 分 · 134 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选