Uma Extensão Pós-Quântica Híbrida para o Protocolo Matrix: Avaliação Experimental e Impacto Sistêmico

  • Marcos Ortiz UFC
  • Vinícius Lagrota CEPESC
  • Gilvan Maia UFC
  • Rodrigo Pacheco UFC
  • Paulo Rego UFC

Resumo


A computação quântica ameaça a criptografia de mensageiros E2EE, impulsionando a adoção de criptografia pós-quântica (PQC). Este estudo avalia a integração híbrida do CRYSTALS-Kyber no protocolo Matrix, estendendo o acordo de chaves e o Double Ratchet. Testes demonstraram que o principal gargalo é a largura de banda, com overhead de +548% no setup e +252% nas rotações de chaves, enquanto o impacto na CPU e na experiência do usuário é negligenciável (≈16 ms a 100 ms). O custo das rotações escala quadraticamente, indicando que políticas de segurança rígidas são ineficientes e demandam estratégias adaptativas para equilibrar segurança e consumo de rede.

Referências

Auerbach, B., Dodis, Y., Jost, D., Katsumata, S., and Schmidt, R. (2025). How to compare bandwidth constrained two-party secure messaging protocols: a quest for a more efficient and secure post-quantum protocol. In Proceedings of the 34th USENIX Conference on Security Symposium, pages 6717–6736.

Aydeger, A., Zeydan, E., Yadav, A. K., Hemachandra, K. T., and Liyanage, M. (2024). Towards a quantum-resilient future: Strategies for transitioning to post-quantum cryptography. In 2024 15th International Conference on Network of the Future (NoF), pages 195–203. IEEE.

Barker, E. (2020). Recommendation for key management: Part 1 – general (sp 800-57 part 1, rev 5). Technical report, National Institute of Standards and Technology (NIST).

Cohn-Gordon, K., Cremers, C., Dowling, B., Garratt, L., and Stebila, D. (2016). A formal security analysis of the signal messaging protocol. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pages 1339–1353.

Dodis, Y., Jost, D., Katsumata, S., Prest, T., and Schmidt, R. (2025). Triple ratchet: A bandwidth efficient hybrid-secure signal protocol. In Annual Int. Conference on the Theory and Applications of Cryptographic Techniques, pages 302–331. Springer.

Duits, I. (2019). The post-quantum signal protocol: Secure chat in a quantum world. Master’s thesis, University of Twente.

Kret, E. and Schmidt, R. (2023). The pqxdh key agreement protocol. [link].

Martins, J. A., Rego, P. A., de Macêdo, J. A., Silva, F. A., and Lagrota, V. (2026). Matrix protocol: a comprehensive systematic mapping study. Journal of Cloud Computing, 15(1):20.

Martins, J. A. P., Rego, P. A. L., Macêdo, J. A. F. d., Andrade, R. M. C., Bonfim, M. S., Ivo, R. F., Costa, V. L. R. d., Pacheco, R. P., and Silva, F. A. P. d. (2025). Protocolo matrix: Conceitos, arquitetura, aplicações e desafios. In Jornada de Atualização em Informática 2025, pages 1–46. Sociedade Brasileira de Computação (SBC).

Matrix.org (2019). Olm: A cryptographic ratchet. [link]. libolm repository.

Matrix.org (2022). Megolm group ratchet. [link]. libolm repository.

Matrix.org (2024). Matrix specification. [link].

NIST (2022). Post-quantum cryptography standardization. Technical report, National Institute of Standards and Technology. Acesso em: [link].

Schmidt, R. and Connell, G. (2025). The ml-kem braid protocol. Signal Messenger Specification. Available at: [link].

Seufert, M., Wassermann, S., and Casas, P. (2023). Share and multiply: Modeling communication and generated traffic in private whatsapp groups. In Proceedings of the 23rd ACM Internet Measurement Conference, pages 642–657.

Shor, P. W. (1994). Algorithms for quantum computation: discrete logarithms and factoring. 35th Annual Symposium on Foundations of Computer Science, pages 124–134.

Stebila, D. (2024). Security analysis of the imessage pq3 protocol. Cryptology ePrint Archive.
Publicado
25/05/2026
ORTIZ, Marcos; LAGROTA, Vinícius; MAIA, Gilvan; PACHECO, Rodrigo; REGO, Paulo. Uma Extensão Pós-Quântica Híbrida para o Protocolo Matrix: Avaliação Experimental e Impacto Sistêmico. In: SIMPÓSIO BRASILEIRO DE REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS (SBRC), 44. , 2026, Praia do Forte/BA. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 1457-1470. ISSN 2177-9384. DOI: https://doi.org/10.5753/sbrc.2026.19881.

Artigos mais lidos do(s) mesmo(s) autor(es)

<< < 1 2