La ingesta de proteínas reduce la mortalidad en personas mayores con enfermedad renal crónica
August 8, 2024
Thursday, August 8, 2024 Esta investigación vincula una mayor ingesta de proteínas, tanto vegetales como animales, con una reducción en...
[ Read More ]
IMDEA Software launches new approach to improve automatic software repair
July 29, 2024
The FIXCHECK tool offers a robust and effective solution in the field of software maintenance, reveals bugs and prevents the...
[ Read More ]
Authorities from the Madrid Regional Government visit IMDEA Software to learn about the projects its researchers are working on
July 23, 2024
Manuel Carro and María Alcaraz welcomed and accompanied the delegation on its tour around the Institute. Researchers Aleks Nanevski, Juan...
[ Read More ]
42 teams participated in the national programming contest AdaByron, sponsored by IMDEA Software
July 9, 2024
The event took place at the Computer Science School of the Universidad Complutense de Madrid on July 5 and 6.
[ Read More ]
Traitor Tracing without Trusted Authority
July 3, 2024
Traitor-tracing systems allow identifying the users who contributed to building a rogue decoder in a broadcast environment. In a traditional...
[ Read More ]
IMDEA Software sponsors and participates in womENcourage, an event highlighting the role and impact of women in computing
July 2, 2024
The event was hosted by the School of Engineering of the Universidad Carlos III de Madrid, from June 26th to...
[ Read More ]
Establishing secure blockchain applications through real world cryptography
June 25, 2024
Cryptography plays a prominent role in today’s increasingly digital society. In fact, virtually all existing systems rely on cryptography at...
[ Read More ]
IMDEA Software holds the annual poster competition meeting between students at the center
June 25, 2024
Last Friday, June 21, we celebrated “My I[M]DEA Software: Poster Competition”, an edition with 11 participants
[ Read More ]
Reachability in Fixed VASS: Expressiveness and Lower Bounds
June 13, 2024
The recent years have seen remarkable progress in establishing the complexity of the reachability problem for vector addition systems with...
[ Read More ]
Making Blockchains Tolerate Colluding Majorities in Asynchrony
June 7, 2024
The problem of Byzantine consensus has been key to designing secure distributed systems. Although it is well known that both...
[ Read More ]
