"A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution, and Economics" is the thesis title
The third ERC awarded to researchers from the IMDEA Software Institute
This paper presents a novel, algebraic treatment of the assertion language of separation logics
The work explores the application of Parametric Resource Analysis to the static inference of gas and storage consumption bounds for smart contracts