Dario Fiore, research professor de IMDEA Software, ha obtenido una ERC Proof of Concept (PoC), una ayuda del Consejo Europeo de Investigación orientada a trasladar resultados científicos de alto nivel hacia aplicaciones con impacto social e industrial. Este tipo de ERC está dirigida exclusivamente a investigadores que ya han liderado proyectos ERC con anterioridad. Se trata, por tanto, de convocatorias con un objetivo muy concreto: explorar cómo los avances científicos pueden convertirse en soluciones útiles en el mundo real.
El proyecto concedido a Dario Fiore cuenta con una financiación de 150.000 euros y una duración de 18 meses, y se centrará en uno de los grandes retos actuales de la digitalización: cómo garantizar simultáneamente privacidad y fiabilidad en los servicios de aprendizaje automático en la nube.
El proyecto, titulado “VERIFHE: An Open-Source Library for Verifiable Fully Homomorphic Encryption for Trustworthy Machine Learning”, aborda un problema cada vez más presente en nuestras vidas. Hoy en día, muchas organizaciones utilizan servicios externos de Machine Learning as a Service (MLaaS) para analizar datos y obtener predicciones. Esto implica enviar información, a menudo sensible, a terceros.
Existen técnicas criptográficas que permiten proteger la confidencialidad de esos datos. Entre ellas destaca el cifrado homomórfico, que hace posible realizar cálculos directamente sobre datos cifrados. De este modo, el proveedor nunca tiene acceso a la información original. Sin embargo, esta solución deja abierta una cuestión clave: ¿cómo puede el usuario estar seguro de que el resultado devuelto es correcto? El proyecto que Dario Fiore lideró durante su ERC, llamado PICOCRYPT, dio respuesta a esta pregunta.
Una de las principales aportaciones del proyecto PICOCRYPT es la incorporación de mecanismos de verificación criptográfica al cifrado homomórfico. En la práctica, esto permite no solo preservar la privacidad de los datos, sino también comprobar que los cálculos se han ejecutado de forma correcta, incluso si el proveedor comete errores o actúa de manera maliciosa.
VERIFHE se apoya así en estos avance reciente desarrollados en el marco esta investigación, donde se propuso un nuevo protocolo de cifrado homomórfico verificable. La ERC Proof of Concept permitirá ahora transformar ese resultado teórico en una herramienta práctica y reutilizable.
El proyecto tiene dos objetivos concretos: Por un lado, desarrollar la primera librería de código abierto que implemente cifrado homomórfico verificable. Por otro, construir un prototipo de servicio de aprendizaje automático ofrecido por terceros que demuestre la viabilidad de realizar inferencias de forma privada y verificable. Estos resultados pueden ser especialmente relevantes en sectores donde la privacidad de los datos y la corrección de los resultados son críticas, como ocurre en muchos servicios digitales con información sensible.
Con esta ERC Proof of Concept, el equipo de Dario Fiore espera avanzar en el desarrollo de tecnologías que contribuyan a una digitalización más segura y confiable.
Funded by the European Union (GA: 101287502). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.
