El investigador del Instituto IMDEA Software, Miguel Morona, fue galardonado con el segundo premio “Leonardo Torres Quevedo” en la especialidad de Criptología y Seguridad de la Información, patrocinados por el CSIC y ITEFI el día 28 de marzo de 2023. Esto lo ha conseguido gracias a su trabajo de fin de grado: ”Sistemas de Restricciones Algebraicas para Pruebas Criptográficas aplicado a SHA-256”, el cual supone las bases para la demostración y verificación del código hash a través de matrices.
El SHA-256 es una función basada en un algoritmo utilizado comúnmente en criptografía para la compresión de datos, especialmente aplicado para las firmas digitales. El uso masificado de este se debe principalmente a la capacidad que tiene de asegurar la integridad de los datos de manera efectiva, asociando a cada texto un identificador único de 64 dígitos. Sus aplicaciones son ilimitadas, permitiendo detectar cualquier modificación en los datos ya que, en ese caso, el código hash será radicalmente diferente al original.
Los investigadores de IMDEA Software, Dario Fiore e Ignacio Cascudo, han apoyado y asesorado el trabajo de Miguel, en el que consigue obtener un R1CS (Sistema de Restricciones de Rango 1) óptimo en cuanto a las relaciones algebraicas del SHA-256, teniendo en cuenta la generación de matrices con 23296 filas y 26113 columnas. Este algoritmo garantiza que el código hash es correcto y lo verifica a través de las matrices.
Esto supone una evolución en las pruebas criptográficas, ya que permite que estas sean más eficientes.
