PhD in Computer Science at IMDEA Software Institute
My work focuses on secure compilation to prevent and mitigate side-channel attacks (especially Spectre-like attacks).
Socials
Projects
- Currently working on:
- Catalia a CHC solver that supports Algebraic DataTypes;
- Previously worked on:
- A simulation of Vienna metro system;
- Q-top a fault-tollerant sequentially ordered broadcast protocol.
Academic works
- Master's Thesis: "Conditional template for automated catamorphism synthesis"
Under the supervision of Marco Patrignani and Naoki Kobayashi
Currently Reading
| Title | Wool |
|---|---|
| Author | Hugh Howey |
| Year | 2012 |