IMDEA Software

IMDEA initiative

news & events

Feb 12, 2020

The three awards, sponsored by the Tezos Foundation, ended 11 prize-winning participants

Jan 16, 2020

A collaboration agreement to conduct research at the highest level in the Institute's research areas with the aim of contributing to the development of the Tezos ecosystem

Dec 27, 2019

An automated technique for determining whether programs are vulnerable to a specific class of micro-architectural attacks

Dec 26, 2019

The extension is great for ensuring correctness of code, but it can also be used to improve the performance of code