معرفی
Marco Vassena is an Assistant Professor at the Department of Information and Computing Sciences, Utrecht University. His research focuses on using programming language techniques like type systems, compilers, and program verification to build secure systems with reliable security guarantees.
- Affiliation: Utrecht University, Netherlands
- Research Areas: Language-based security, memory safety, constant-time programming, information flow control, WebAssembly security, and defenses against microarchitectural attacks.
His work includes developing frameworks for secure execution environments, such as MSWasm for WebAssembly, and advancing tools like Blade to mitigate speculative leaks in cryptographic code. He has contributed to leading conferences including POPL, PriSC, and PLDI.
Scientific Awards:
- Veni Grant (2023)
۰مقاله منتشرشده
