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.
- 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!