El Instituto IMDEA Software, la Universidad Complutense de Madrid (UCM) y la Universidad Politécnica de Madrid (UPM) han sido beneficiarias de la Convocatoria de Programas de Actividades I+D 2018 de la Comunidad de Madrid, gracias al proyecto “Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis” (BLOQUES-CM), que cuenta con una financiación de 763.600 euros otorgada por la Comunidad de Madrid con el apoyo de los Fondos Estructurales de Inversión de la Unión Europea (Fondos EIE).
El programa de investigación abordará importantes retos de los sistemas basados en blockchains y smart contracts que deben solucionarse para que su uso sea fiable en los ámbitos en los que se deban lograr altos niveles de seguridad e integridad de los datos.
BLOQUES-CM avanzará, concretamente, en la certificación de propiedades de integridad y anonimato, la verificación de infraestructuras, el testing de blockchains y en las pruebas de corrección y uso de recursos de smart contracts.
