Biography

I’m a fourth year PhD student from Universidad Politécnica de Madrid. I’m very fortunate to be supervised by Professor Marco Guarnieri. I’m also working at Imdea Software Institute as an assistant researcher. I got my master degree in Formal Methods from Universidad Autónoma de Madrid and another master degree in cryptography from University of Science and Technology of China.

Research Interests

I used to working on designing lattice-based post-quantum cryotographic protocol.
My recent research focuses on reasoning and verifying the security at the hardware-software boundary, with a specific focus on microarchitectural attacks and defenses.