The goal of my research is to develop principled methods to build secure systems. My research interests span Security and Programming Languages and I am actively involved with both research communities.
In my work, I apply programming language techniques (type systems, compilers, program analysis and verification) to build software systems with reliable security guarantees. Currently, I am excited to work on language-based security (constant-time programming, memory safety, and information flow control), software defenses against Spectre and side-channel attacks, and software isolation and sandboxing (especially in Wasm).
I completed my PhD in Computer Science at Chalmers University of Technology under the supervision of Alejandro Russo. Before joining Utrecht University, I was a postdoctoral researcher at CISPA Helmholtz Center for Information Security and a member of the CISPA-Stanford Center for Cybersecurity.