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
"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"
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
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
