BLOQUES
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
S2018/TCS-4339 (BLOQUES-CM)
| Descripción |
| Objetivos investigación |
| Resultados |
| Difusión |
| Ofertas de empleo |
| Contacto |
| Programa Anterior | |
| PROMESAS | |
| PROMETIDOS | |
| N-GREENS | |
| Soporte | |
| |
| |
| |
| Destacados | |
| Últimas novedades empleo | |
| Últimas novedades noticias | |
Objetivos investigación
El programa BLOQUES-CM Software se estructura en los siguientes objetivos:
Objetivos científico-técnicos
- Objetivo 1 - Criptografía y seguridad.
- Objetivo 2 - Técnicas de verificación para infraestructura de distributed ledgers.
- Objetivo 3 - Verificación de smart contracts.
- Objetivo 4 - Análisis de smart contracts.
- Objetivo 5 - Testing en distributed ledgers.
- Objetivo 6 - Herramientas.
Objetivos transversales
Otros objetivos transversales adicionales se centran en la diseminación, formación, transferencia tecnológica, y gestión, que son facetas primordiales del programa.