conf.researchr.org / Marco Vassena
Registered user since Tue 16 Aug 2016
Name:Marco Vassena
Country:Netherlands
Affiliation:Utrecht University
Personal website: https://webspace.science.uu.nl/~4110161/
X (Twitter): https://x.com/m_vassena
Research interests:Programming Languages, Security
Contributions
2025
PriSC
2024
PLMW
2023
POPL
2022
Haskell
2020
PriSC
- Session Chair of Foundations and timing channels (part of Principles of Secure Compilation 2020)
- Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track
- Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
- Author of Memory Safety Preservation for WebAssembly within the Principles of Secure Compilation 2020-track