Login / Signup
Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core.
Martin R. Albrecht
Benjamin Dowling
Daniel Jones
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
data acquisition
statistical analysis
data sets
real world
information retrieval
multimedia
multi agent
image analysis
formal model
formal analysis