IMDEA Software

Iniciativa IMDEA

noticias y eventos

18 de junio de 2021

Investigadores del Instituto IMDEA Software, TU Wien y Purdue desarrollan un protocolo que hace más seguras y rápidas las transacciones en criptomonedas como Bitcoin

07 de junio de 2021

"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"

26 de mayo de 2021

El artículo desarrolla un marco para definir contratos hardware-software que capturen las garantías de seguridad de los canales laterales del hardware de una manera sencilla e independiente del propio mecanismo

22 de abril de 2021

El proyecto PICOCRYPT, liderado por el Instituto IMDEA de Software, garantizará la integridad, la privacidad y la eficacia del cálculo sobre los datos almacenados en la nube

actualidad

empleo