Marco Vassena

PhD Student

My research consists in combining functional programming and language-based security techniques to build expressive programming languages in which programs are secure by construction. I support my results with mechanized proofs developed in the Agda proof assistant.

About Me

I am a PhD student in the Information Security division at the Computer Science and Engineering department at Chalmers University of Technology, since October 2015, under the supervision of Alejandro Russo.


Publications

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


Posters


Teaching Assistant

2015, 2016, 2017, 2018, 2019


Activities

PC member


Artifact Evaluation


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

Contact

Room 5453, EDIT Building,
Rännvägen 6B,
Chalmers University Technology,
41296 Göteborg, Sweden.

+46 72-974 50 86