Securing the End-points of the Signal Protocol using Intel SGX based Containers
A Formal Security Analysis of the Signal Messaging Protocol