IMDEA initiative
Abstract: Based on a condensed version of the RuleML 2018’s tutorial, the talk will recap the relationship between logic and...
Abstract: Concurrent separation logics have had great success reasoning about concurrent data structures. This success stems from ...
Abstract: On August 2nd, 2016 “Tom Elvis Jedusor” posted an .onion link to a text file on IRC, titled MIMBLEWIMBLE and dated July ...
Abstract: Code-reuse is a double-edged sword. The ease in development often comes at the (hidden) cost of bugs or even security an...
Abstract: When software is deployed, there is always a conflict between deploying what “seems to work”, and what &ldqu...
Abstract: Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as com...
Abstract: We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and pr...
Abstract: The use of TLS is rapidly spreading among malware families, since it makes possible for them to evade most used content-...
Abstract: In this talk I will present some results concerning the runtime monitoring of safety hyperproperties for deterministic p...
Abstract: Developers typically rely on log data to reason about the runtime behavior of distributed systems. Unfortunately, the in...
Abstract: Finite-precision representation and approximation of continuous and infinite real numbers causes unavoidable rounding to...
Abstract: Almost eight years ago we started working on JSFlow - an information flow aware interpreter for JavaScript written in Ja...
Abstract: In spite of being central to everything that is going on in IT security, the concept of “exploit” is surpris...
Abstract: Indexed Grammars (IG) are a formalism which generate Indexed Languages (IL) and can be recognized by nested stack automa...
Abstract: Zero-knowledge proofs allow a prover to convince a verifier of the validity of a statement without revealing anything el...
Abstract: In this talk, we present the design and implementation of a tool to construct faithful models of the latency, throughput...
Abstract: Automated verification has become an essential part in the security evaluation of cryptographic protocols. Recently, the...
Abstract: Developing software products and maintaining software versions for adding or modifying functionality and quality to soft...
Abstract: Secure multi-party computation (MPC) protocols allow a group of n parties to compute some function on the parties’...
Abstract: In this presentation we analyze the (in)famous microarchitectureal side-channel attacks known as Spectre and Meltdown. W...
Abstract: Optics provide rich abstractions and composition patterns to access and manipulate immutable data structures. However, t...
Abstract: Formal verification has been gaining the attention and resources of both the academic and the industrial world since it ...
Abstract: In this talk I will try give a flavour of my line of research by surveying some of my works. It will touch upon topics s...
Abstract: Several major classes of security analysis have to be performed on raw executable files, such as vulnerability analysis ...
Abstract: Succint Non-Interactive Arguments of Knowledge, or SNARKS, have received a lot of attention recently because of their ap...
Abstract: In a cyber-physical system digital computations (e.g., a hardware component or a program) interact with the physical env...
Abstract: Today’s Collaborative Economy has three challenges: It relies on centralized hubs, that in order to monetize use t...
Abstract: Mobile devices are now the most common way users handle digital information and interact with online services. Different...
Abstract: Databases often store and manage sensitive data. Regulating the access to databases is, therefore, essential. To this en...
Abstract: The success of software engineering projects is in a large part dependent on social and organization aspects of the deve...
Abstract: In the era of Big Data, datacenter and cloud architectures decouple compute and storage resources from each other for be...
Abstract: Conventional unsupervised data analytics techniques have largely focused on processing datasets of single-type data, e.g...
Abstract: In this talk we will present the adaptive cuckoo filter (ACF), a data structure for approximate set membership that exte...
Abstract: The problem of ensuring consistency in applications that manage replicated data is one of the main challenges of distrib...
Abstract: Deep neural nets have become in recent years a widespread practical technology, with impressive performance in computer ...
