On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees - View it on GitHub