Marco Vassena

Marco Vassena is a researcher affiliated with CISPA Helmholtz Center for Information Security and Utrecht University, focusing on Information Flow Control, Programming Languages, and Security. He contributes to secure compilation, memory safety, and cryptographic code analysis.

His research explores compiler design, speculative execution mitigation, and Wasm security, often involving formal verification and runtime enforcement. Recent work includes eliminating speculative leaks and enforcing memory safety for WebAssembly.

Marco has authored publications in conferences like POPL and PriSC, addressing cryptography, secure compilation, and parallel runtime systems. He actively participates in program committees and artifact evaluations.