A Formal Security Analysis of the Signal Messaging Protocol
Dancing on the lip of the volcano: chosen ciphertext attacks on apple imessage