IMDEA Software

IMDEA initiative

news & events

Jan 25, 2021

"A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution, and Economics" is the thesis title

Dec 9, 2020

The third ERC awarded to researchers from the IMDEA Software Institute

Nov 30, 2020

This paper presents a novel, algebraic treatment of the assertion language of separation logics

Nov 20, 2020

The work explores the application of Parametric Resource Analysis to the static inference of gas and storage consumption bounds for smart contracts