Establishing secure blockchain applications through real world cryptography
June 25, 2024
Cryptography plays a prominent role in today’s increasingly digital society. In fact, virtually all existing systems rely on cryptography at...
[ Read More ]
IMDEA Software holds the annual poster competition meeting between students at the center
June 25, 2024
Last Friday, June 21, we celebrated “My I[M]DEA Software: Poster Competition”, an edition with 11 participants
[ Read More ]
Reachability in Fixed VASS: Expressiveness and Lower Bounds
June 13, 2024
The recent years have seen remarkable progress in establishing the complexity of the reachability problem for vector addition systems with...
[ Read More ]
Making Blockchains Tolerate Colluding Majorities in Asynchrony
June 7, 2024
The problem of Byzantine consensus has been key to designing secure distributed systems. Although it is well known that both...
[ Read More ]
