Innovating Works

IMDEA SOFTWARE INSTITUTE

Activa
Mostrando 1 al 20 de 59 resultados
MADRIDFLIGHTONCHIP SENER INGENIERIA Y SISTEMAS tramitó un CONSEJERÍA DE EDUCACIÓN, UNIVERSIDADES, CIENCIA Y PORTAVOCÍA: 2019-04-16 | Financiado
VARIES: Variability in safety Critical Embedded Systems H I IBERIA INGENIERIA Y PROYECTOS tramitó un SETEID: 2013-02-01 | Financiado
MORFEO EzWeb ALIMERKA tramitó un SETEID: 2010-02-27 | Financiado
JDC2023-050791-I: Efficiency and Composability of Zero-Knowledge Proofs IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2023-01-01 - 2023-01-01 | Financiado
CNS2023-144164: Ciencias de la computación y tecnología informática IMDEA SOFTWARE INSTITUTE tramitó un AEI: BLOCKCHAIN ES UNA TECNOLOGIA PARA LA CONSTRUCCION DE APLICACIONES Y ALMACENAMIENTO CONFIABLES Y DESCENTRALIZADOS. HABIENDO COMENZADO COMO UN...
2023-01-01 - 2023-01-01 | Financiado
PCI2023-145959-2: Ciencias de la computación y tecnología informática IMDEA SOFTWARE INSTITUTE tramitó un AEI: EL PROYECTO REDONDA AMBICIONA EL DISEÑO DE UN PROTOCOLO DE REPLICACION DE PROXIMA GENERACION PARA BLOCKCHAIN. PARA LOGRARLO, EL PROYECTO APR...
2023-01-01 - 2023-01-01 | Financiado
RYC2021-032614-I: Principled foundations for hardware/software co-design for secure microarchitectures IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2021-01-01 - 2021-01-01 | Financiado
FJC2021-047102-I: Using machine learning and computer vision for operating system-level hardware resource management IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2021-01-01 - 2021-01-01 | Financiado
TED2021-132464B-I00: ASEGURANDO LA SEGURIDAD, ESCALABILIDAD Y FUNCIONALIDAD DE LOS SISTEMAS DIGITALES DE PROCEDENCIA IMDEA SOFTWARE INSTITUTE tramitó un AEI: LA TRANSFORMACION DIGITAL ES FUNDAMENTAL PARA LA ECONOMIA ACTUAL Y FUTURA DE ESPAÑA Y LA UNION EUROPEA (UE). UN PASO CLAVE EN LA TRANSFORMAC...
2021-01-01 - 2021-01-01 | Financiado
RYC2020-030800-I: Testing and analysis of software for quality and trustworthiness IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2020-01-01 - 2020-01-01 | Financiado
IJC2020-043391-I: Security, Privacy, Scalability and Interoperability for Blockchain IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2020-01-01 - 2020-01-01 | Financiado
IJC2020-045197-I: Designing scalable and consistent distributed systems IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2020-01-01 - 2020-01-01 | Financiado
PID2019-108528RB-C21: METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS (SUBP... IMDEA SOFTWARE INSTITUTE tramitó un AEI: LOS ERRORES EN SISTEMAS SOFTWARE CAUSAN GRANDES DAÑOS PERSONALES, MEDIOAMBIENTALES Y ECONOMICOS, PERO A LA VEZ ESTOS SISTEMAS SOFTWARE SON E...
2019-01-01 - 2019-01-01 | Financiado
PID2019-110873RJ-I00: PROTOCOLOS CRIPTOGRAFICOS SEGUROS PARA ARITMETICA SOBRE ANILLOS IMDEA SOFTWARE INSTITUTE tramitó un AEI: ESTE PROYECTO SE ENMARCA DENTRO DEL AREA DE CRIPTOGRAFIA, Y MAS CONCRETAMENTE EN DOS TEMAS QUE ESTAN RECIBIENDO UN GRAN INTERES EN LOS ULTIM...
2019-01-01 - 2019-01-01 | Financiado
PRE2019-088472: SECURIZANDO MAQUINAS NO CONFIABLES IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2019-01-01 - 2019-01-01 | Financiado
EUR2019-103816: CRIPTOGRAFIA PARA ASEGURAR LA PRIVACIDAD Y LA INTEGRIDAD DE LA COMPUTACION EN MAQUINAS NO CONFIABLES IMDEA SOFTWARE INSTITUTE tramitó un AEI: DEBIDO A LA UBICUIDAD DE INTERNET Y LA CRECIENTE DEMANDA DE SERVICIOS EN LA NUBE, CADA VEZ ES MAS COMUN ALMACENAR Y PROCESAR DATOS EN MAQUIN...
2019-01-01 - 2019-01-01 | Financiado
IJC2019-041599-I: Modular Program Verification and Synthesis using Refinement Types IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2019-01-01 - 2019-01-01 | Financiado
RYC2019-028577-I: Defending Against Cybercrime IMDEA SOFTWARE INSTITUTE tramitó un AEI: 2019-01-01 - 2019-01-01 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.