End-to-End Encrypted (E2EE) Messaging Apps
overview
A history of end-to-end encryption and the death of PGP
Signal
Signal Protocol
A Formal Security Analysis of the Signal Messaging Protocol
On Ends-to-Ends Encryption
The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
Double Ratchet Algorithm
X3DH Key Agreement Protocol
https://youtu.be/4vukpiSTJUI
iMessage
Dancing on the Lip of the Volcano: Chosen Ciphertext Attacks on Apple iMessage
Telegram
Security Analysis of End-to-End Encryption in Telegram
End-to-End Encryption, Secret Chats
LINE
LINE Encryption Overview
Breaking Message Integrity of an End-to-End Encryption Scheme of LINE
Attacks to LINE E2EE scheme
Threema
Treema Cryptography Whitepaper
More is Less: On the End-to-End Security of Group Chats in Signal, WhatsApp, and Threema
Whatsapp
WhatsApp Security Paper Analysis
WhatsApp Encryption Overview
Attack of the Week: Group Messaging in WhatsApp and Signal
Wickr Me
Security Analysis and Improvements for the IETF MLS Standard for Group Messaging
security properties
FS (forward secrecy)
A Modern View on Forward Security
prekeys approach
puncturable encryption approach
PCS (post-compromise security)
Post-Compromise Security
Confidentiality and Authenticity
Membership authentication in groups
Deniability