Total success of the IMDEA Institutes at the Madrid is Science 2024 Fair
March 11, 2024
The Fair, which took place between March 7 and 9 at IFEMA, was attended by ten IMDEA Software researchers.
[ Read More ]
Verified Control of Real-World Cyber-Physical Systems
March 7, 2024
Cyber-physical systems (CPS) are now ubiquitous among automated technologies, in which physical dynamical systems are operated via software-based controllers. Since...
[ Read More ]
Precise and Scalable Program Analysis for Software Security
March 4, 2024
Many security mitigation techniques rely on program analysis. Languages such as C/C++ support the use of pointers for indirect memory...
[ Read More ]
Programmable Software Systems for Correct High-performance Applications
February 29, 2024
We live in an era of unprecedented compute availability. The advent of the cloud allows anyone to deploy critical high-performance...
[ Read More ]
Obfuscation from Lattice-Based Equivocal Assumption
February 27, 2024
Indistinguishability obfuscation turns a program unintelligible without altering its functionality. Because it captures the power of most known cryptographic primitives...
[ Read More ]
More than 150 high school students enjoyed the “Innovating in feminine: Women in Montegancedo” workshop
February 23, 2024
This is the second edition of an event that was born to publicize the science developed by women scientists of...
[ Read More ]
Innovative Algorithm: Addressing the Language Inclusion Problem
February 21, 2024
IMDEA Software researcher Kyveli Doveri presented her doctoral thesis: “A Uniform Approach to Language Containment Problems” last Friday, February 16...
[ Read More ]
Accelerated and Sparse Algorithms for Approximate Personalized PageRank
February 15, 2024
This talk will go over the basics of the PageRank problem, studied initially by the founders of Google, which allowed...
[ Read More ]
IMDEA Software organizes a social media course for researchers to learn how to get the most out of the networks
February 7, 2024
The workshop, given by Mike Young, was focused on aspects related to how to use social media to increase impact...
[ Read More ]
Dimitris Kolonelos’ thesis unveils efficient solution for decentralized environment using succinct cryptographic primitives
February 6, 2024
The IMDEA Software researcher made yesterday his thesis defense: “Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments”
[ Read More ]
