I'm deeply engaged in the fields of computer programming and cybersecurity. My research primarily revolves around two key areas:

• Enhancing software security: This involves the use of trusted execution environments (TEEs) to secure software execution. My approach is centered on safeguarding sensitive computations and data from unauthorized access and manipulation, while ensuring trustworthy execution thanks to attestation.
• Simplifying programming experience: I focus on abstracting the complexity inherent in programming for trusted execution environments through the use of WebAssembly. This technology serves as a bridge, making it easier for developers to work with various TEEs and platforms.

My Ph.D. thesis focuses on combining these two areas to provide trustworthy and attestable executing environments, while lowering the friction for developers of using such complex technologies by leveraging WebAssembly.

My research projects mostly use Intel SGX as a trusted execution environment, and WebAssembly Micro Runtime (WAMR) as a runtime to execute WebAssembly bytecode. As a strong believer in open source, my scientific contributions are usually available online, and upstreamed back to the official open-source repositories when possible.