About Me

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.

News

  • Oct 25: I am talking about MSWasm at the Wasm Research Day
  • Oct 12: I am giving a talk on MSWasm at Stanford Security Lunch
  • Sep 27: Our paper on MSWasm is conditionally accepted at POPL'23!
  • Sep 18: I am visiting Stanford until December. I am sitting in Gates 478 and would love to chat!
  • Jun 8/9: I am giving a guest lecture on constant-time programming at Utrecht University and TU Delft
  • Jun 3: I am giving an invited talk on software defenses against Spectre attacks at University of Amsterdam
  • May 1: I have officially joined Utrecht University as an assistant prof in the Software Technology group!