Signal Lost (Integrity): The Signal App is More than the Sum of its Protocols. - Kien Tuong Truong; Noemi Terzo; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2026)