Signal and Messaging Layer Security - Oppliger (IEEE, 2024)