---
id: 4419
title: "Secure Messaging Apps and Group Protocols, Part 1"
source_domain: blog.quarkslab.com
source_url: "https://blog.quarkslab.com/secure-messaging-apps-and-group-protocols-part-1.html"
published_at: "2022-05-23T22:00:00Z"
tags: ["cryptography", "privacy", "e2ee", "protocols", "messaging", "verifpal"]
phying_url: "https://phying.com/item/4419"
lang: en
---

# Secure Messaging Apps and Group Protocols, Part 1

## 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.

## Intelligence Metadata

- **Sources:** blog.quarkslab.com
- **Published:** 2022-05-23T22:00:00Z
- **Original:** https://blog.quarkslab.com/secure-messaging-apps-and-group-protocols-part-1.html
- **Phying News:** https://phying.com/item/4419