IMDEA initiative
Abstract: The massive scale and heterogeneity of current workloads and platforms, such as cloud applications and large machine lea...
Abstract: Cryptography plays a prominent role in today’s increasingly digital society. In fact, virtually all existing syste...
Abstract: Robust forecasts of future resource usage in cloud computing environments enable high efficiency in resource management ...
Abstract: In this talk, we address the problem of the (reactive) realizability of specifications of theories richer than Booleans,...
Abstract: A key aspect of the adoption of blockchain technologies is their performance. Consequently, many techniques to improve t...
Abstract: Abstract interpretation provides an over-approximation of program behaviours that is used to prove the absence of bugs. ...
Abstract: Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) le...
Abstract: We study implementations of basic fault-tolerant primitives, such as consensus and registers, in message-passing systems...
Abstract: In this talk I will present two algorithms to decide the language inclusion problem between Büchi automata. Our approach...
Abstract: Microarchitectural attacks, such as Spectre and Meltdown, illustrate that artifacts of hardware implementations (like sp...
