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

Ockam 的密码学设计审查

blog.trailofbits.com | 博客 | #cryptography | #formal-verification | #noise | #trail-of-bits | #design-review | #protocol-design | #ockam

摘要

Trail of Bits 对 Ockam 协议设计进行密码学审查：评估基于 Noise XX 模式的安全信道与 Ockam Identities，并使用 Verifpal 和 CryptoVerif 做形式化验证，提出进一步加固建议。
发布时间
收录时间

原文 ↗

相关内容

  1. 一个“页边写得下”的费马大定理证明 (blog.trailofbits.com)
  2. 关于 AWS Nitro Enclaves 的几点说明：KMS 集成 (blog.trailofbits.com)
  3. 1Password 的 AI 补丁基准测试存在误导性 (blog.trailofbits.com)
  4. 虚拟机无法完全约束具备网络攻击能力的 AI 智能体 (blog.trailofbits.com)
  5. 状态分歧导致未经授权的访问 (blog.trailofbits.com)
  6. Trail of Bits 如何帮助验证你的 Signal 聊天记录的完整性 (blog.trailofbits.com)

返回