Unraveling end-to-end encryption: what, why, and how?
March 18, 2025
[No advanced knowledge of cryptography needed! Content suitable for a general audience]. End-to-end encryption (E2EE) stands as the gold standard...
[ Read More ]
Hyperproperty-Preserving Register Specifications
March 6, 2025
Reasoning about hyperproperties of concurrent implementations, such as the guarantees these implementations provide to randomized client programs, has been a...
[ Read More ]
Investigadores de los institutos IMDEA Alimentación y Pasteur hallan nuevas moléculas que impactan en genes asociados a la obesidad
March 4, 2025
Tuesday, March 4, 2025 Un estudio identifica nuevas moléculas con potencial uso terapéutico frente al desarrollo de enfermedades relacionadas con...
[ Read More ]
Optimal Byzantine Agreement with Little Cryptography
March 4, 2025
Byzantine agreement, a fundamental problem in distributed computing, enables $N$ processes to reach consensus on a common value despite up...
[ Read More ]
Making monkeys and ducks behave with Crystal Lang
February 20, 2025
In the zoo of programming languages there are two cute yet rather misbehaved animals, typically found in the Dynamic Languages...
[ Read More ]
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
February 18, 2025
This paper investigates ER(r^Z), that is the extension of the existential theory of the reals by an additional unary predicate...
[ Read More ]
DATIA launches at IMDEA Software to advance climate-neutral data centers
January 21, 2025
The DATIA project has officially started its activities at IMDEA Software after being awarded earlier this year by the Regional...
[ Read More ]
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 ]
