IMDEA Software’s main projects stand out at Transfiere
March 27, 2024
As in previous editions, in 2024 the Institute participated in the Research and Innovation Space of the Madrid Regional Government.
[ Read More ]
Silvia Sebastián tells what her thesis is about in less than three minutes
March 25, 2024
Unveils a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks
[ Read More ]
Generative models for video games
March 19, 2024
This talk will show some of the recent advances we are doing at Microsoft Research towards agents capable of modeling...
[ Read More ]
Security evaluation of modern industrial control systems
March 18, 2024
Recent years have been pivotal in the field of Industrial Control Systems (ICS) security, with a large number of high-profile...
[ Read More ]
Automatic Testing in Modern Systems
March 15, 2024
Adversaries exploit vulnerabilities to compromise systems. For instance, a vulnerability in a Web browser sandbox may allow an attacker to...
[ Read More ]
IMDEA at the Madrid es Ciencia Fair 2024 – Looking to the future
March 13, 2024
From Thursday 7th to Saturday 9th March, the IMDEA Institutes have participated in the XIII Feria Madrid es Ciencia organized...
[ Read More ]
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 ]
