Ran Canetti, Palak Jain, Marika Swanberg, Mayank Varia: Universally Composable End-to-End Secure Messaging. CRYPTO (2) 2022: 3-33