IMDEA initiative

news & events

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

Dec 20, 2019

“Cryptographic Techniques for the Security of Cloud and Blockchain Systems” is the thesis title

highlights

careers