IMDEA initiative
Abstract: In this talk (which includes an extended introduction so that even non-cryptographers can follow along) we explore Homom...
Abstract: [No advanced knowledge of cryptography needed! Content suitable for a general audience]. End-to-end encryption (E2EE) st...
Abstract: This paper investigates ER(r^Z), that is the extension of the existential theory of the reals by an additional unary pre...
Abstract: With the increasing popularity of blockchains, cryptocurrencies are now accepted for the purchase of digital goods, such...
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. ...
