Who I am?

I am a Software Development Engineer at Amazon, working on bringing Operating Systems security to the next level.

Background

Previously I was a researcher at HexHive group, under the supervision of Prof. Mathias Payer, in which I worked on novel designs hardware-software co-design for security. My research focuses on systems security principles and how security-related abstractions can be preserved through all the processing stack. You can find more about myself and my background in my CV. On summer of 2020 I completed an internship at IBM Research Zurich in the Systems Security group. Before that, I have completed a MSc of Computer Science at EPFL and a BSc on Mathematics and Computing at UPM and participated on a summer internship at MIT CSAIL working under the supervision of Prof. Daniel Sánchez on security implications of cache compression.
I have formed part of IMDEA Software Institute as a research intern advised by Prof. Marco Guarnieri, focusing my research on Analysis of countermeasures against speculative execution attacks and Detecting speculative information flows in large code-bases.
I have always enjoyed on playing with the internals and abstractions of nowadays computer systems.

Find me - Github | Google Scholar | DBLP
Contact me - Email: andsanmar at protonmail dot com