Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Secure Messaging Apps and Group Protocols, Part 1

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

Summary

Part one of the secure messaging series: key properties of end-to-end encrypted 1-on-1 conversations, with examples analyzed using the Verifpal symbolic verification tool.
Published
Collected

original ↗

Related coverage

  1. Secure Messaging Apps and Group Protocols, Part 2 (blog.quarkslab.com)
  2. iMessage Privacy (blog.quarkslab.com)
  3. How Trail of Bits helps verify the integrity of your Signal chats (blog.trailofbits.com)
  4. Olvid, the ultra-secure messaging app, moves to public bug bounty program (yeswehack.com)
  5. Mattermost End-to-End Encryption Plugin (blog.quarkslab.com)
  6. A brief survey of Fully Homomorphic Encryption, computing on encrypted data (blog.quarkslab.com)

back