IMDEA Software Institute

02/01/2025

🔵 The newest assistant professor of the IMDEA Software Institute, Kaushik Mallik, comes from Kolkata, and is passionate about food, travel, and science and technologies.

🔎 His work is based in developing algorithmic design principles for CPS software that come with formal correctness guarantees and techniques that are faster, more modular, and can solve richer classes of problems compared to the existing approaches.

🌐 Link to the full puede of news in bio
______

30/12/2024

🔵 | A new cryptographic framework, proposed by researchers Claudia Bartoli (IMDEA Software) and Irene Rivera-Arreba ( ), enables secure data sharing in the floating wind energy sector.

🔎 This breakthrough seeks to foster collaboration between industries and academia, driving innovation in floating wind technologies.

🌐 link to the piece of news in bio.
_____

20/12/2024

🔵 | The IMDEA Software Institute is looking for a motivated intern to work with Kaushik Mallik on the algorithmic developments for the safe and verified control of cyber-physical systems under uncertainties. The task will involve theoretical development of algorithms and running simulations using Python.

🤔 Interested? Apply ➡️ https://software.imdea.org/careers/2024-12-intern-verifcps/

IMDEA Institutes

12/12/2024

🔵 | IMDEA Software researchers present MixBuy, a protocol for secure and privacy-preserving digital purchases.

🔎 MixBuy is the first cryptographic protocol that simultaneously ensures a secure digital purchase and hides the relationship between store and customer.
______

11/12/2024

🔵 | Researcher receives the 2024 ‘Cesar Nombela’ Award Grant.

💶 This grant will provide her with 420,000 euros for 5 years to fund the research group she is leading.

🔎 The research she conducts seeks to significantly enhance efficiency and sustainability in large-scale computing environments.
_____

10/12/2024

🔵 | IMDEA Software researchers Gilles Barthe, Marco Guarnieri and David Mateos Romero received a distinguished paper award at the ACM Conference on Computer and Communications Security (CCS) for their paper “Testing side-channel security of cryptographic implementations against future microarchitectures”, co-authored with Marcel Böhme Max Planck Institute for Security and Privacy (MPI-SP), Sunjay Cauligi (MPI-SP), Chitchanok Chuengsatiansup (University of Melbourne), Daniel Genkin (Georgia Institute of Technology), Peter Schwabe (MPI-SP), David Wu (University of Adelaide), and Yuval Yarom (Ruhr-Universit��t Bochum).

🌐 http://c.madrid/g6msq

IMDEA Institutes

05/12/2024

🔵 | IMDEA Software welcomed the Italian Embassy’s science advisor in Spain this week, to find synergies and ways of collaboration with Italian research institutions and the tech ecosystem.

👥 sergio scopetta was received by the director of the Institute, Manuel Carro.

📈 Besides the director, the visit was hosted by researchers Dario Fiore, Marco Guarnieri, Alessandra Gorla , Alessio Mansutti and Srdjan Matic, all Italian nationals, who account for 25% of all faculties of the Institute.
______
🇮🇹

03/12/2024

🔵 at the IMDEA Software Institute.

🗣️ Luciana Kiffer, researcher at IMDEA Networks.

📅 TODAY, December 3rd.
⏰ 11:00 CET
🔎 “Deanonymizing Ethereum Validators: The P2P Network Has a Privacy Issue”

🔴 LIVE on zoom: zoom.us/j/3911012202
🔐

IMDEA Institutes IMDEA Networks Institute

27/11/2024

🔵 | Innovative approaches to cryptography: IMDEA Software presents advances in distributed keys and zero-knowledge proofs in the framework of the CONFIDENTIAL6G Project.

📄 The team lead by Ignacio Cascudo has presented two papers so far this year related to confidential computing and privacy preservation technologies for the 6G network, at Eurocrypt and Public Key Cryptography.

🌐 Link in bio
______

19/11/2024

🔵 El investigador de IMDEA Software, Diego Castejón Molina, publica en The Conversation España el artículo ➡️ ¿Alguien sabe a quién mandé mi criptomoneda?

🔎 En una criptomoneda como Bitcoin, cualquiera puede saber quién paga a quién. Una de las herramientas disponibles para mejorar la privacidad son los mezcladores de monedas. Con ellos, un conjunto de remitentes y destinatarios pueden esconder sus relaciones financieras de cualquier observador indiscreto.

🌐 https://theconversation.com/alguien-sabe-a-quien-mande-mi-criptomoneda-243058



Comunidad de Madrid IMDEA Institutes

En una criptomoneda como Bitcoin, cualquiera puede saber quién paga a quién. Una de las herramientas disponibles para mejorar la privacidad son los mezcladores de monedas. Con ellos, un conjunto de remitentes y destinatarios pueden esconder sus relaciones financieras de cualquier observador indisc...