1 Introduction  
The goals of this study  
Main Contributions  

2 Background on Secure Messaging Protocols  
2.1 Relevant Threat Models  
2.2 Security principles relevant for end-to-end encrypted messaging  
2.3 Properties for Usability and Adoption  
2.4 Off-the-Record in a nutshell  
2.5 Signal in a nutshell  
2.6 Security properties of protocols for end-to-end encrypted instant messaging  

3 Analysis of Applications Implementing Secure Messaging  
3.1 Test Scenarios  
3.2 Running The Different Test Cases  

4 Summary of Results  

5 Discussions and Recommendations  
5.1 Signal  
5.2 WhatsApp  
5.3 Wire  
5.4 Viber  
5.5 Riot  
5.6 Telegram  

6 Conclusion and Further work