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 (memory safety, constant-time programming, and information flow control), defenses against microarchitectural attacks, and WebAssembly.
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 visiting assistant professor at Stanford, a postdoctoral researcher at CISPA Helmholtz Center for Information Security and a member of the CISPA-Stanford Center for Cybersecurity.
- Aug 3, 2023: Honored to receive the prestigious Veni grant!
- Mar 5, 2023: Thrilled to attend the Dagstuhl seminar on Foundations of WebAssembly
- Oct 25, 2022: I am talking about MSWasm at the Wasm Research Day
- Oct 12, 2022: I am giving a talk on MSWasm at Stanford Security Lunch
- Sep 27, 2022: Our paper on MSWasm has been accepted at POPL'23!