Formal Security Definition of Metadata-Private Messaging. - Shengtong Zhang; Arvid Lunnemark; Sualeh Asif (IACR Cryptol. ePrint Arch., 2022)