Marco Vassena

Postdoc

I am interested in principled approaches to the design and implementation of secure systems. In my research, I have applied information-flow control techniques to build rich programming languages in which programs are secure by construction.

About Me

I am a Postdoc at the CISPA, Helmholtz Center for Information Security working in the group of Michael Backes. In 2019, I completed a PhD in Computer Science at Chalmers University of Technology under the supervision of Alejandro Russo.


Publications

Marco Vassena, Klaus v. Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Under Submission

Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, and Deian Stefan
POST 2019
Principles of Security and Trust

Marco Vassena, Alejandro Russo, Deian Stefan, Deepak Garg, Vineet Rajani
POPL 2019
In Proc. of the ACM SIGPLAN Symposium on Principles of Programming Languages

Marco Vassena, Alejandro Russo, Pablo Buiras, Lucas Waye
JLAMP 2018
In Journal of Logical and Algebraic Methods in Programming

Marco Vassena, Joachim Breitner and Alejandro Russo
CSF 2017
In Proc. of IEEE Computer Security Foundations Symposium

Marco Vassena and Alejandro Russo
PLAS 2016
In Proc. of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security

Marco Vassena, Pablo Buiras, Lucas Waye and Alejandro Russo
ESORICS 2016
In Proc. of European Symposium on Research in Computer Security

Marco Vassena
TyDe 2016
In Proc. of ACM SIGPLAN Workshop on Type-Driven Development

Theses

Marco Vassena
2019
PhD Thesis, Chalmers University of Technology

Marco Vassena
2017
Licentiate Thesis, Chalmers University of Technology

Marco Vassena
2015
Master Thesis, Utrecht University


Teaching Assistant

2015, 2016, 2017, 2018, 2019


Activities

PC member


Miscellaneous


I have taken part in the review process of the following conferences and journals:

Contact

Office 2.18
Stuhlsatzenhaus 5
CISPA − Helmholtz Center for Information Security
66123 Saarbrücken
Germany

+46 72-974 50 86
marco.vassena@cispa.saarland