Marco Vassena - POPL 2020

Registered user since Tue 16 Aug 2016

Name: Marco Vassena

Country: Germany

Affiliation: CISPA Helmholtz Center for Information Security

Personal website: https://people.cispa.io/marco.vassena/

Research interests: Information Flow Control, Programming Languages, Functional Programming

Contributions

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
Show activities from other conferences