Andrés Sánchez
PhD student @ EPFL

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

Security
Computer Systems
Computer Architecture
Memory systems
Operating systems
Design decisions
Program Analysis

Other interests

Formal Verification
Compilers
Programming Languages (Functional and Low level)
Software Optimizations & Performance
Algorithms and Data Structures
Theoretical Foundations of Computer Science
Information Flow & Privacy

Programming Languages

Haskell   Rust   C   C++   LaTeX
Assembly   Python   Prolog

Technologies Expertise

Linux   Git   LLVM

Find me - Github | Google Scholar | DBLP
Contact me - Email: andres dot sanchez at epfl dot ch
Last update: September 2021