Marco Vassena - POPL 2020

Registered user since Tue 16 Aug 2016

Name:Marco Vassena

Country:Germany

Affiliation:CISPA Helmholtz Center for Information Security

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

Contributions

POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2020	Session Chair of Foundations and timing channels (part of Principles of Secure Compilation 2020) Short Talk: Automatically Eliminating Speculative Leaks With Blade Committee Member in Program Committee within the Principles of Secure Compilation 2020-track Memory Safety Preservation for WebAssembly
Show activities from other conferences