LmSpec and LmTest: Tools to Safeguard Cryptographic Libraries from Microarchitectural Leaks
November 28, 2024
IMDEA Software researchers Gilles Barthe, Marco Guarnieri, David Mateos Romero and co-authors present LmSpec and LmTest, tools to safeguard cryptographic...
[ Read More ]
Innovative approaches to cryptography: IMDEA Software presents advances in distributed keys and zero-knowledge proofs in the framework of the CONFIDENTIAL 6G project
November 26, 2024
Ignacio Cascudo’s team has presented two papers so far this year related to confidential computing technologies and privacy preservation for...
[ Read More ]
Around 25 high school students participated in the «Gymkhana: Software Matters»
November 18, 2024
Event organized by the IMDEA Software Institute, on the occasion of the Madrid Science and Innovation Week.
[ Read More ]
Maximizing Branch Coverage with Constrained Horn Clauses
November 7, 2024
State-of-the-art solvers for constrained Horn clauses (CHC) are successfully used to generate reachability facts for software using its symbolic encoding....
[ Read More ]
A Practical Algorithm for Chess Unwinnability
November 5, 2024
The FIDE Laws of Chess establish that if a player runs out of time during a game, they lose unless...
[ Read More ]
Over 100 people attended the XIX REDIMadrid Conference
November 5, 2024
On October 15, IMDEA Software and REDIMadrid held the conference at the center’s auditorium.
[ Read More ]
The 2024 DISC Symposium, organized by IMDEA Software, was held last week in Madrid
November 5, 2024
The event took place at the Instituto de Ingeniería de España from October 28th to November 1st.
[ Read More ]
