Security analysis of end-to-end encryption in Telegram
A Formal Security Analysis of the Signal Messaging Protocol