I’m a PhD researcher in Aalto University’s Secure Systems Group. My research focus is platform security. My current work centers on remote attestation, including building new attestation mechanisms for WebAssembly, and exploring code randomization/diversification to improve resilience against memory-safety exploits. I also have a strong interest in program verification and using formal methods to make security-critical implementations more trustworthy.