Towards a Post-Quantum Matrix Protocol: A Hybrid Wrapper Adapted to the Brazilian Scenario
This presentation outlines the development experience of a post-quantum cryptography (PQC) wrapper for the vodozemac library, tailored for its use in MSG
GOV, a Matrix-powered E2EE messenger for the Brazilian federal government. Our wrapper is designed to support multiple PQC algorithms, including ML-KEM and Brazil's state-mandated cryptography. The talk details the practical software engineering challenges associated with the hybrid integration of flexible PQC features into the Matrix protocol, extending both the key agreement and the Double Ratchet algorithm while maintaining backwards compatibility.
Paulo Antonio Leal Rego is an Adjunct Professor in the Computing Department at the Federal University of Ceará (UFC). He holds a PhD in Computer Science from the Federal University of Ceará (2016), with a Sandwich Doctorate internship at Cisco Systems Inc, in the United States. He works in the field of Computer Science, with an emphasis on Distributed Systems, Complex Systems Development, and Computer Networks. He is a CNPq productivity fellow in Technological Development and Innovative Extension (DT/C). He is the technical coordinator of the msg gov project.
A teacher and coder.
Rodrigo Pacheco holds a PhD in Mathematics, specializing in dynamical systems and differential geometry. He currently works in the field of cryptography for the Brazilian government.