安全与密码学2020github.com
RustTLS 形式化审计
RusTLS Formal Audit
进阶 · 约 60 分钟读完前置知识：TLS 协议基础、Rust 语言基础、形式化验证概念
导读
这是一份针对用 Rust 编写的 TLS 实现 rustls 的形式化安全审计报告，目标是系统性地检查这套协议实现在安全性上的关键部分。报告以 PDF 形式随 rustls 仓库发布（位于 audit 目录下）。
HN 关注点：Rust 版 TLS 库能否取代 OpenSSL，以及这份审计把代码指向 master 分支、而不是某个具体版本或 commit，是否够严谨。
HN 评论精选
这几条评论里：质疑 1 补充 2
质疑质疑审计没有固定被分析的代码版本，方法论上不够严谨
报告里不引用具体 commit（只是指向 master）有点奇怪。通常不是应该分析某个特定 release 吗？
EE84M3i查看英文原文
It seems kind of strange that they don't reference specific commits (and instead just point to master?) in the report. Isn't it standard to analyze like, a specific release?
补充期待 rustls 取代 OpenSSL，并关心性能差异
我很好奇什么时候（或者是否会）有人推动用 rustls 取代 OpenSSL。我也不确定有多少远程漏洞最终能归因到 TLS 实现上，但 TLS 是系统安全的核心部分，任何朝着“更不容易被利用的库”努力的方向都是好目标。另外，我也很想看性能对比。
tracker1查看英文原文
I'm curious when/if there will be a drive to displace OpenSSL with RusTLS. I'm also unsure how many remote exploits have come down to TLS implementations, but it seems that it's such a core part of system security, any drive towards providing a library more safe from exploit is a good goal. Also, would be interesting to see performance differences.
补充指向 HN 上同一话题的早前讨论帖
今天早些时候已有一轮讨论：https://news.ycombinator.com/item?id=23520004
geofft查看英文原文
Some more discussion earlier today: https://news.ycombinator.com/item?id=23520004
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2020Hacker News 讨论帖156 分 · 25 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选