再看“可证明安全”：十五年批判性视角
来源: math.uwaterloo.ca
概述
这是 Neal Koblitz 与 Alfred Menezes 维护的 “Another Look” 项目主页，集合了他们十余年来对密码学“可证明安全”范式的批判性论文与课程。
核心要点
- 项目涵盖 2011 年至今的 “Another Look” 系列论文，主题包括可证明安全、通用群、HMQV、HMAC、紧致性与密码分析中的正态近似。
- 作者借库恩《科学革命的结构》指出，质疑与推翻主流范式是科学进步的本质，而自满、傲慢与压制异见恰恰相反。
- 他们认为这种观察对密码学尤其适用：历史上最成功的密码学家总是不断质疑假设、寻找新漏洞、批评被夸大的安全声明。
- “可证明安全”的核心主张是：只有在特定条件下、给定特定假设，用数学严格的定理建立某种安全保证，才最值得信赖。
- 网站的目标是鼓励更怀疑、更少轻信的态度，对“可证明安全”范式的正反面展开批判性分析。
- 站内还收录了 Cryptography 101、Kyber 与 Dilithium、格基约减等在线课程，以及若干新近更新。
金句
只有在特定条件下、给定特定假设，用数学严格的定理建立起来的安全保证，才是最值得信赖的。
👍 0
👎 0
← 返回 Lobsters 首页