IMDEA Software

IMDEA initiative

news & events

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

Apr 8, 2021

The conference, that will take place from the 23rd to 27th of May, has recently published the list of accepted papers.