MixBuy: Contingent Payment in the Presence of Coin Mixers
December 11, 2024
With the increasing popularity of blockchains, cryptocurrencies are now accepted for the purchase of digital goods, such as e-books or...
[ Read More ]
Thaleia Doudali receives the 2024 ‘Cesar Nombela’ Award Grant to significantly enhance efficiency and sustainability in large-scale computing environments
December 9, 2024
This grant will provide her with 420,000 euros for 5 years to attract outstanding and talented young researchers from abroad...
[ Read More ]
IMDEA Software welcomes the Italian Embassy’s science advisor in Spain
December 5, 2024
The visit took place in order to seek synergies and avenues for collaboration with Italian research institutions and the technological...
[ Read More ]
Deanonymizing Ethereum Validators: The P2P Network Has a Privacy Issue
December 3, 2024
Many blockchain networks aim to preserve the anonymity of validators in the peer-to-peer (P2P) network, ensuring that no adversary can...
[ Read More ]
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 ]
