Iniciativa IMDEA
Resumen: Reproducibility crisis in science, including computational sciences, is a serious, well-known, and well-documented probl...
Resumen: Group signatures allow user data to be collected while preserving the user’s privacy but still ensuring it origina...
Resumen: What do Apple, the FBI and a Belgian politician have in common? In 2003, in Belgium there was an electronic election and...
Resumen: In this talk, I will make an introduction to the paradigm of Answer Set Programming (ASP) and its extension for temporal...
Resumen: This talk is scoped for both cryptographers and non-cryptographers. I will start by introducing two of the most active r...
Resumen: Malware analysis systems are one of the best weapons in the arsenal of cybersecurity companies and researchers. An integ...
Resumen: Database Management Systems (DBMS) are used ubiquitously for storing and retrieving data. It is critical that they funct...
Resumen: The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert’s control pan...
Resumen: Modern graph query engines are gaining momentum, driven by exponentially growing, interconnected data volumes that popul...
Resumen: In response to incidents of unintended disclosure and misuse of user data by online services, modern data protection reg...
Resumen: Software correctness is becoming an increasingly important concern as our society grows more and more reliant on compute...
Resumen: Fully-autonomous cyber-physical systems (CPS) such as autonomous vehicles, drones, and robots today are not engineered a...
Resumen: Traditionally, the server-side code of websites was written in languages such as PHP or Java for which security issues a...
Resumen: Blockchain technologies have rapidly acquired popularity and promise to become one of the pillars of the digital society...
Resumen: High-performance multicores providing strong consistency guarantees speculatively reorder memory operations. If a memory...
Resumen: Program synthesis is often called the “holy grail” of computer science, as it enables users to refrain from ...
Resumen: Recent years have seen a tremendous growth in the interest in secure multiparty computation (MPC) and its applications. ...
Resumen: In secret sharing a dealer holds a secret and wants to distribute it among several parties in such a way that the indivi...
Resumen: Software is a fundamental pillar of modern scientific research, across all fields and disciplines. However, there is a g...
Resumen: The Elliptic Curve Digital Signature Algorithm (ECDSA) is a widely adopted digital signature standard; in particular it ...
Resumen: Caches have become the prime method for unintended information extraction across logical isolation boundaries. They are ...
