Marco Vassena

Registered user since Tue 16 Aug 2016

Name:Marco Vassena
Country:Netherlands
Affiliation:Utrecht University
Research interests:Programming Languages, Security

Contributions

Haskell 2022 Committee Member in Program Committee within the Haskell 2022-track
POPL 2023 Committee Member in Program Committee within the POPL-track
PLDI 2022 Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track
POPL 2021 Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track
PriSC 2020 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
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POST 2019 Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
ETAPS 2019 Author of Information Flow Control Parallel Runtime Systems Foundations within the Posters-track
POPL 2019 Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
TyDe 2016 Author of Generic diff3 for Algebraic Datatypes within the TyDe-track