Pooling Liquidity Pools in AMMs
March 25, 2025
Market fragmentation across multiple Automated Market Makers (AMMs) creates inefficiencies such as costly arbitrage, unnecessarily high slippage and delayed incorporation...
[ Read More ]
Distribution Testing: The New Frontier for Formal Methods
March 24, 2025
The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were...
[ Read More ]
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 ]
The Science of the present and the future
March 12, 2025
IMDEA Institutes at the Madrid es Ciencia Fair 2025 Is a researcher born or made? Can anyone answer this question...
[ Read More ]
IMDEA at Transfiere 2025
March 6, 2025
IMDEA Institutes at the European Meeting on Science, Technology and Innovation This year the Transfiere meeting celebrates its 14th edition...
[ 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 ]
