La IV edición del premio “Tengo un proyecto” del Instituto de Tecnologías Físicas y de la Información “Leonardo Torres Quevedo” (ITEFI) al mejor trabajo fin de grado o máster, concede el primer premio a David Balbás, estudiante del Instituto IMDEA Software, en la sede de la calle serrano del CSIC, el pasado 12 de mayo.
El proyecto del Balbás, cuyo título es: “Administradores Seguros para Protocolos de Mensajería en Grupo”, estudia la mensajería en grupo desde el punto de vista de la seguridad, y en particular, los protocolos asíncronos de intercambio de clave en grupo. Los protocolos de mensajería instantánea en grupo, como los de WhatsApp o Signal Messenger, deben preservar la confidencialidad y autenticidad de los mensajes enviados.
La contribución principal de David es la formalización de la administración de un grupo de mensajería, que es el escenario usual en el que existe un restringido grupo de usuarios, (los administradores) con la capacidad de añadir y expulsar miembros. Para ello, se introduce la primitiva criptográfica “administrated continuous group key agreement” (A-CGKA), junto con una definición de corrección y una discusión sobre modelos de seguridad. Por último, presenta dos construcciones modulares prácticas de A-CGKA que utilizan firmas digitales.
En el trabajo, propone un formalismo y unos protocolos criptográficos que permiten administrar grupos de mensajería con fuertes garantías de seguridad. Todo ello supone un avance en seguridad, protegiendo frente a ciertos ataques, pudiendo aplicarse a protocolos como los empleados en las mayores aplicaciones de mensajería instantánea mundiales, que son usadas por billones de personas a diario.
