IMDEA Software

IMDEA initiative

news & events

Jun 18, 2021

Researchers from the IMDEA Software Institute, TU Wien and Purdue University have developed a protocol that makes more secure and faster transactions in cryptocurrencies like Bitcoin

Jun 7, 2021

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

May 26, 2021

The paper develops a framework for defining hardware-software contracts that capture hardware side-channel security guarantees in a simple, mechanism-independent manner

Apr 22, 2021

The PICOCRYPT project, led by the IMDEA Software Institute, will guarantee integrity, privacy and effectiveness of computation on data stored in the cloud