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

ePrint Report: Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix’ Core

Martin R. Albrecht, Benjamin Dowling, Daniel Jones

Focusing on its cryptographic core, we provide the first formal description of the Matrix secure group messaging protocol. Observing that no existing secure messaging model in the literature captures the relationships (and shared state) between users, their devices and the groups they are a part of, we introduce the Device-Oriented Group Messaging model to capture these key characteristics of the Matrix …

analysis cryptographic daniel device eprint report literature matrix messaging protocol relationships report secure messaging