IMDEA initiative
Abstract: Some of the recent blockchain proposals, such as Stellar and Ripple, allow for open membership while using quorum-like s...
Abstract: In this talk I will briefly explain how refinement types can are used for program verification. Refinement types use the...
Abstract: Modern software engineering deals with demanding problems that yield large and complex software. The area of Model-Drive...
Abstract: The general idea of STARKs is to transform a claim on a certain computation to another claim on the low-degreeness of on...
Abstract: We consider the problem of proving in zero knowledge that an element of a public set satisfies a given property without ...
Abstract: We study the problem of decentralized monitoring of stream runtime verification specifications. Decentralized monitoring...
Abstract: Modern data stores achieve scalability by partitioning data into shards and fault-tolerance by replicating each shard ac...
Abstract: Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful te...
Abstract: In this talk, I will introduce you to Cross-Origin State Inference (COSI) attacks. In a COSI attack, an attacker convinc...
Abstract: Transient resources—resources with transient availability offered by cloud providers at a discounted price—present an op...
Abstract: In this talk, I will present tail-call optimisation in a functional programming language in the presence of multiple eva...
Abstract: I’ll present a study of the rate for continuously non-malleable codes. Such codes allow to encode a message in a w...
Abstract: Everyone has heard about quantum computers and that they will compromise the current Internet security. Quantum computer...
Abstract: Many micro-architectural attacks rely on the capability of an attacker to efficiently find small eviction sets: groups o...
Abstract: Even though there have been a large number of proposals to accelerate databases using specialized hardware, often the op...
Abstract: Fuzzing has become a very interesting technique for finding bugs in computer programs. Since a few years back there is a...
Abstract: Starting from one of the most celebrated undecidable problem in CS, the Halting Problem, and using reductions as a bridg...
Abstract: We all love eating pizza, but we don’t love so much using a fork and a knife for that. The problem is that the mom...
Abstract: We study the language inclusion problem L1 ⊆ L2 where L1 is regular or context-free. Our approach relies on abstract int...
Abstract: Since the advent of Spectre, a number of countermeasures have been proposed and deployed. Rigorously reasoning about the...
Abstract: Enterprises own a significant fraction of the hosts connected to the Internet and possess valuable assets, such as finan...
Abstract: Are you tired of having to reveal the solution to your sudoku in order to convince others that you have solved it? Are y...
Abstract: In this talk we’ll discuss the impact of CSS (or stylesheet) injection attacks on web security. For that, we&rsquo...
