IMDEA initiative
Abstract: Cryptographic voting protocols have recently seen much interest from practitioners due to their use in countries such as...
Abstract: In this talk, I will introduce and motivate a well-studied probabilistic variant of the classic inclusion problem betwee...
Abstract: Recently, in June, our group submitted a new proposal, namely FAEST, to the current NIST PQ signature (additional round)...
Abstract: Guillermo Errezil will talk about the work, goals and collaborations of Formal Vindication.
Abstract: Although in many occasions the protection of information systems is achieved by implementing obscure procedures, the pro...
Abstract: In this talk, we present a new framework, called polyhedral abstraction, for checking safety properties on Petri nets, t...
Abstract: Non-Interactive Zero-Knowledge proofs (NIZKs) allow a prover to convince a verifier about the validity of a claim withou...
Abstract: In this talk, we give a brief introduction to probabilistic programming and present Zar: a formally verified compiler pi...
Abstract: Many proofs of interactive cryptographic protocols (e.g., as in Universal Composability) operate by proving the protocol...
Abstract: The continuously increasing interest in intelligent autonomous systems underlines the need for new developments in cyber...
Abstract: Computer systems and software play a vital role in the functioning of our society. Ensuring their security is of utmost ...
Abstract: Autonomous Systems offer hope towards moving away from mechanized, unsafe, manual, often inefficient practices. Last dec...
Abstract: Secure Multiparty Computation (MPC) allows a set of mutually distrusting parties to jointly perform a computation on the...
Abstract: Open Access (OA) is a mechanism that allows for free and immediate access to research results and data. It aims to enhan...
Abstract: The most widely studied language for expressing statements in the context of Zero-Knowledge (ZK) proofs is arithmetic ci...
Abstract: Non-volatile main memory (NVMM) is a new tier in the memory hierarchy that offers jointly the durability of spinning dis...
Abstract: Self-adaptation is often defined as the ability of systems to alter at runtime their behaviour in response to changes in...
Abstract: The context-free language (CFL) reachability problem on graphs (as well as a closely related problem of language emptine...
Abstract: Smart contracts are immutable programs deployed on the blockchain that can manage significant assets. Because of this, v...
