Kaushik Mallik: «I develop algorithmic design principles for CPS software that come with formal correctness guarantees»
December 31, 2024
The newest assistant professor of the IMDEA Software Institute comes from Kolkata in India, and is passionate about food, travel,...
[ Read More ]
Cryptographic protocol enables secure data sharing in the floating wind energy sector
December 30, 2024
This breakthrough seeks to foster collaboration between industry and academia, driving innovation in floating wind technologies.
[ Read More ]
IMDEA Software researchers present MixBuy, a protocol for secure and privacy-preserving digital purchases
December 12, 2024
MixBuy is the first cryptographic protocol that simultaneously ensures a secure digital purchase and hides the relationship between store and...
[ Read More ]
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 ]
