The VERIFHE project aims to develop an open-source library for verifiable homomorphic encryption, enabling private and reliable inference. The ERC Proof of Concept grant will support the development of practical tools for machine learning services.
PRIMULA project aims to tackle microarchitectural attacks by developing new methodologies for building secure hardware-software systems. The project will advance in two key directions: establishing formal foundations and developing tools for developers.
REDIMadrid is launching an end-to-end quantum secure data transport project with Ciena, enabling high-speed security for research and education in Madrid. The collaboration integrates Quantum Key Distribution technology with optical infrastructure, paving the way for widespread adoption of quantum-secure networks.
Eurocrypt 2025 will bring together leading cryptographic researchers and experts for a four-day conference in Madrid, featuring pre-conference workshops and over 650 participants. IMDEA Software Institute is the main organizer of this event, alongside other top-tier institutions.
A new cryptographic framework proposes a data sharing scheme that guarantees data integrity without compromising privacy. The protocol uses advanced tools like zero-knowledge proofs to ensure confidentiality and facilitate the analysis of encrypted data.
MixBuy is the first cryptographic protocol guaranteeing both security and privacy in digital purchases. It hides the relationship between customer and store by using an intermediary to relay payments.
Researchers at IMDEA Software developed FIXCHECK, a method combining static analysis and large language models to generate tests detecting bugs in incorrect patches. The approach was evaluated on 160 patches, yielding 62% effective bug detection results.
The CONFIDENTIAL6G project aims to enhance the security and reliability of 6G networks, enabling their use in emerging AI tools and IoT devices. IMDEA Software Institute will contribute privacy-preserving computation technologies such as secure multi-party computation and homomorphic encryption.
The Madrid Flight On Chip (MFOC) project has successfully implemented advanced technological products and introduced disruptive changes in the design and verification of complex space systems. The project, which ran for over three years, focused on Multi-Processor System on Chip (MPSoC) components and aimed to reduce testing costs.
Researchers developed a new protocol called Blitz that improves the security and efficiency of cryptocurrency transactions. The new protocol reduces communication rounds to a single round, increasing practicality and reducing failed transactions by a factor of 4-33 compared to traditional Lightning Network.
The PICOCRYPT project guarantees the integrity, privacy and effectiveness of computation on data stored in the cloud. Cryptographic techniques will be used to solve problems related to espionage and incorrect results.