IMDEA initiative
Abstract: The ongoing renaissance in artificial intelligence (AI) has led to the advent of data-driven machine learning (ML) metho...
Abstract: A counterfactual explanation refers to the problem of finding a minimum change to a given input instance that will resul...
Abstract: Unix / Linux shell scripting is ubiquitous, partly due to the simplicity in which it allows combining third-party compon...
Abstract: Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reason...
Abstract: In this talk we will demonstrate that not only vulnerabilities in exposed services can be dangerous, but also the issue ...
Abstract: We study abstraction correspondences between hybrid trajectory semantics for verification and refinement, including disc...
Abstract: Smart contracts running on blockchains have been hailed as trustless platforms for carrying out agreements between parti...
Abstract: Spectre vulnerabilities violate our fundamental assumptions about programming abstractions, allowing attackers to steal ...
Abstract: Machine learning is a popular tool for building state of the art software systems. It is more and more used also in safe...
Abstract: In this talk I will present some initial ideas (a first proposal) on how to define a framework to define missions for au...
Abstract: Dataflow languages have, as well as functional languages, immutable semantics, which is often implemented by copying val...
Abstract: In this talk I will present a paper published at TCC'21 together with Gianluca Brian and Daniele Venturi from Sapienza U...
Abstract: Microarchitectural attacks are side/covert channel attacks which enable leakage/communication as a direct result of hard...
Abstract: Secure messaging applications are used by billions of users every day. Applications like WhatsApp make use of the semina...
Abstract: In this talk I will touch on two results I achieved during my PhD and Postdoc in the area of logics for algorithmic veri...
Abstract: Serverless has emerged as the next dominant cloud architecture and paradigm due to its scalability and a flexible billin...
Abstract: The Cardano blockchain underlies one of the world’s top-ten cryptocurrencies, and supports smart contracts written...
Abstract: Despite significant efforts on cybersecurity, we are observing an increasing number of attacks in recent years. The reas...
Abstract: Multithreaded concurrency is an extremely challenging programming setting, with bugs manifesting themselves in resource ...
Abstract: Digital technology creates risks to people’s privacy in ways that did not exist before. I design end-to-end privat...
Abstract: We study the generalization properties of the popular stochastic optimization method known as stochastic gradient descen...
Abstract: Standard hybrid encryption schemes based on the KEM-DEM framework are hard to implement efficiently in a distributed man...
Abstract: Consider a distributed protocol whose n processes ensure some (distributed) safety and liveness properties, communicatin...
Abstract: We revisit the problem of designing light-client blockchain protocols from the perspective of classical proof-system the...
