Privacy Preserving Messaging Formal Modelling

Summary
Models of messaging protocols from WP2 with respect to a number of possible primitives for properties related to decentralization, privacy, security, and anonymity.