Complete Abstractions for Checking Language Inclusion
February 26, 2019
We study the language inclusion problem L1 ⊆ L2 where L1 is regular or context-free. Our approach relies on abstract...
[ Read More ]
Spectector: Principled detection of speculative information flows
February 19, 2019
Since the advent of Spectre, a number of countermeasures have been proposed and deployed. Rigorously reasoning about their effectiveness, however,...
[ Read More ]
Mind Your Own Business: A Longitudinal Study of Threats and Vulnerabilities in Enterprises
February 12, 2019
Enterprises own a significant fraction of the hosts connected to the Internet and possess valuable assets, such as financial data...
[ Read More ]
Next Monday will take place the Session "I+D+M². Women in Montegancedo"
February 8, 2019
Next February 11, on the occasion of the International Day of Women and Girls in Science, the Montegancedo Campus will...
[ Read More ]
Next Monday will take place the Session “I+D+M². Women in Montegancedo”
February 8, 2019
Organized by the UPM, through the Cajal Blue Brain Project and the Ontology Engineering Group, and the IMDEA Software Institute.
[ Read More ]
Zero-Knowledge Proofs
February 7, 2019
Are you tired of having to reveal the solution to your sudoku in order to convince others that you have...
[ Read More ]
IMDEA Software, UCM and UPM start the research project BLOQUES-CM
February 5, 2019
The IMDEA Software Institute, the Universidad Complutense de Madrid (UCM) y la Universidad Politécnica de Madrid (UPM), have been beneficiaries...
[ Read More ]
IMDEA Software, UCM and UPM start the research project BLOQUES-CM
February 5, 2019
The Research Group aim to address major challenges of systems based on blockchains and smart contracts
[ Read More ]
Imdea Alimentación participa en el proyecto ALIBIRD 2020 que busca fórmulas terapéuticas de nutrición de precisión para luchar contra el cáncer
February 4, 2019
Monday, February 4, 2019 En el marco del Día Mundial contra el Cáncer, que se celebra el próximo lunes 4...
[ Read More ]
IMDEA in the International Day of Women and Girls in Science
February 1, 2019
This year the IMDEA Institutes are also contributing to the activities being held all over the world to celebrate the International...
[ Read More ]
