Who I am?
I am a PhD student of the EDIC program at EPFL, at the same time I form part of the HexHive group, advised by Prof. Mathias Payer. 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.Background
On summer of 2020 I completed an internship at IBM Research Zurich in the Systems Security group. Previously 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.
Main research interests
SecurityComputer Systems
Computer Architecture
Memory systems
Operating systems
Design decisions
Program Analysis
Other interests
Formal VerificationCompilers
Programming Languages (Functional and Low level)
Software Optimizations & Performance
Algorithms and Data Structures
Theoretical Foundations of Computer Science
Information Flow & Privacy
Programming Languages
Assembly   Python   Prolog
Technologies Expertise
Find me - Github | Google Scholar | DBLP
Contact me - Email: andres dot sanchez at epfl dot ch
Last update: September 2021