معرفی
Marco Vassena is an Assistant Professor at the Department of Information and Computing Sciences, Utrecht University, within the Faculty of Science. He focuses on developing principled methods for building secure systems, bridging Security and Programming Languages research communities. His work applies type systems, compilers, program analysis, and verification to ensure reliable security guarantees in software systems.
- PhD in Computer Science from Chalmers University of Technology
- Visiting Assistant Professor at Stanford
- Postdoctoral Researcher at CISPA Helmholtz Center for Information Security
- Member of the CISPA-Stanford Center for Cybersecurity
His research spans language-based security (constant-time programming, memory safety, information flow control), software defenses against Spectre and side-channel attacks, and WebAssembly sandboxing. He leads projects like MSWasm and Blade, targeting microarchitectural attack mitigation through formal verification and compiler design.
Scientific recognition includes the Veni Grant (2023). Current projects explore speculative execution security, dynamic information flow control, and secure WebAssembly implementations.
