The three awards, sponsored by the Tezos Foundation, ended 11 prize-winning participants
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
An automated technique for determining whether programs are vulnerable to a specific class of micro-architectural attacks
The extension is great for ensuring correctness of code, but it can also be used to improve the performance of code
