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

安全消息应用与群组协议（一）

blog.quarkslab.com | 研究 | #cryptography | #privacy | #e2ee | #protocols | #messaging | #verifpal

摘要

安全消息与群组协议第一篇：详解一对一（1v1）会话端到端加密的关键特性，并结合 Verifpal 工具对实例进行符号化验证分析。
发布时间
收录时间

原文 ↗

相关内容

  1. 安全消息应用与群组协议（二） (blog.quarkslab.com)
  2. iMessage 隐私 (blog.quarkslab.com)
  3. Trail of Bits 如何帮助验证你的 Signal 聊天记录的完整性 (blog.trailofbits.com)
  4. 超安全即时通讯应用 Olvid 转向公开漏洞赏金计划 (yeswehack.com)
  5. Mattermost 端到端加密插件 (blog.quarkslab.com)
  6. 全同态加密（FHE）简述：在加密数据上计算 (blog.quarkslab.com)

返回