攻击篇
攻破OCB2模式
本届最佳论文奖授予《OCB2的密码分析：针对认证与保密性的攻击》。该研究整合了去年秋季发布的三篇论文，展示了对ISO标准认证加密方案OCB2的攻击手段，可实现任意消息签名伪造和完整明文恢复。这一结果尤为惊人，因为OCB所有三个版本均已标准化且被认为具有严密的安全性证明。值得庆幸的是，OCB1和OCB3不受此攻击影响，因为该攻击依赖于OCB2特有的XEX*操作模式实现细节。
ECDSA随机数偏差与重用
ECDSA签名方案的一个著名弱点是随机数必须均匀随机生成，否则攻击者可恢复签名者私钥。在论文《有偏随机数的警示》中，Breitner和Heninger通过扫描比特币和以太坊区块链，寻找重复或存在轻微偏差的随机数，验证了这类攻击的现实可行性。他们成功恢复了300多个比特币账户和数十个以太坊账户的私钥，且多数账户仍有余额。这证实了采用RFC6979规定的确定性随机数生成的必要性——或者更彻底地弃用ECDSA，转向Ed25519方案。
自动化TLS填充预言攻击检测与实现
今年漏洞检测工具开发成为热点。某研究团队开发了自动扫描网站TLS协议中CBC填充预言漏洞的工具，发现Alexa Top百万网站中约1.83%存在风险。约翰霍普金斯大学的Matthew Green团队则利用SAT和SMT求解器自动化生成新型填充预言攻击（实际涵盖更广的"格式预言"攻击类别），其工具能自动复现包括Bleichenbacher对PKCS#1 v1.5攻击在内的经典案例。
安全计算篇
高效零知识证明
零知识证明技术今年取得重大实用化突破。Libra方案（与Facebook加密货币无关）的诞生尤为瞩目：其预处理阶段复杂度仅与见证大小线性相关（不同于SNARKs需与陈述大小线性相关），且证明者时间复杂度与零知识计算本身呈线性关系。相比仅能达到相同渐进效率的Bulletproofs，Libra实际运行速度更快，因为后者避免了昂贵的密码学操作。不过Bulletproofs无需可信设置阶段且基于更标准的密码学假设。
多方安全计算的安全隐患
Jonathan Katz在主题演讲中揭示影响几乎所有MPC实现的致命漏洞。核心问题在于MPC协议极度复杂，常将底层细节留给实现者。由于MPC资源消耗巨大，实际实现往往随意优化：例如用固定密钥AES替代SHA3哈希（速度提升约50倍）。虽然JustGarble系统曾为这种优化提供理论基础，但Katz团队证明该优化会破坏多数现代MPC协议的隐私保障。他们同时提出既安全又保持性能的AES改进方案。
内容审核与签名篇
元数据私密的消息报告系统
端到端加密系统的内容审核难题有了新解决方案。Facebook为WhatsApp和Messenger开发的"消息报告系统"现通过零知识证明实现元数据隐私保护，使平台仅能查看被举报消息（而非全部通信），且签名大小仅约500字节。新方案在保持三项安全属性（消息隐私性、可追责性、可否认性）的同时，杜绝了 moderator 查看未举报消息的收发方信息。
支持可否认性的环签名
Park和Sealfon提出的新型环签名方案解决了区块链系统中的关键需求：允许环成员匿名代表整个群体签名（如工会成员匿名投诉），同时支持签名者主动认领签名，或成员证明自己未参与签名。该研究首次形式化定义了这些安全属性并给出具体构造方法。
后量子密码学
随着NIST后量子密码标准化进入第二阶段，对SIKE（基于超奇异同源的关键封装机制）的新研究表明：通过建立量子RAM模型分析攻防策略的时间/内存权衡，发现此前认为有效的量子攻击所需经典内存量远超预期，反而使经典攻击更高效。这项研究不仅提升了对SIKE安全性的认知，更开创了量化后量子安全的新方法论。
未来展望
密码学社区亟需：
- 开发防误用的密码库（如Libsodium/Tink）
- 加强漏洞自动修复工具研发（如Trail of Bits的Fennec二进制重写工具）
- 严格评估零知识证明/MPC等前沿协议的具体安全性
- 深化新型安全假设（如可验证延迟函数依赖的虚二次域性质）研究
- 推动NIST后量子密码标准化的精准安全评估
（全文完）