非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

形式化验证的后量子密码算法

bughunters.google.com | 博客 | #cryptography | #post-quantum | #nist | #google | #formal-verification | #cryspen

摘要

Google 与 Cryspen 合作，为 NIST 选定的后量子密码算法构建形式化验证的实现，提升 PQC 标准落地过程中的实现可信度。
发布时间
收录时间

原文 ↗

相关内容

  1. 更多的密码分析让我们所有人都更安全 (bughunters.google.com)
  2. 量子对后量子不重要 (blog.trailofbits.com)
  3. 从密码学盲区到后量子敏捷：Wiz for PQC Readiness 发布 (wiz.io)
  4. 迎接后量子密码学：现在就该做的准备 (wiz.io)
  5. 后量子时代:从 AES 与 RSA 到 ML-KEM 混合方案 (netlas.io)
  6. 发现HQC实现中的漏洞——第五个后量子标准 (blog.quarkslab.com)

返回