TY  - RPRT
TI  - The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
AU  - Jacob Ginesin
AU  - Cristina Nita-Rotaru
PY  - 2024
UR  - https://arxiv.org/abs/2408.12743
ID  - 2408.12743
ER  -