Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core.

Martin R. Albrecht, Benjamin Dowling, Daniel Jones

Browse the full SP paper archive.