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-Stanford Center for Cybersecurity. In 2019, I completed a PhD in Computer Science at Chalmers University of Technology under the supervision of Alejandro Russo.

News

  • I will join the faculty of Utrecht University as an assistant professor in May!
  • I am serving on the PC of Haskell'22
  • I will teach how to formalize programming languages in Agda at Stanford
  • Blade has won the distinguihsed paper award at POPL 2021!

Publications

Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade (Distinguished Paper)
[ video | artifact | extended ]
Marco Vassena, Craig Disselkoen, Klaus v. Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean Tullsen, Deian Stefan
POPL 2021
In Proc. of the ACM SIGPLAN Symposium on Principles of Programming Languages

Short Paper: Modular Black-box Runtime Verification of Security Protocols
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
PLAS 2020
In Proc. of the ACM SIGSAC Workshop on Programming Languages and Analysis for Security

Securing Asynchronous Exceptions
Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo
CSF 2020
In Proc. of IEEE Computer Security Foundations Symposium

Memory Safety Preservation for WebAssembly
Marco Vassena and Marco Patrignani
PriSC 2020
Principles of Secure Compilation

Foundations for Parallel Information Flow Control Runtime Systems
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, and Deian Stefan
POST 2019
Principles of Security and Trust

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back (Distinguished Paper)
[ video | artifact ]
Marco Vassena, Alejandro Russo, Deian Stefan, Deepak Garg, Vineet Rajani
POPL 2019
In Proc. of the ACM SIGPLAN Symposium on Principles of Programming Languages

MAC, A Verified Static Information-Flow Control Library
[ artifact ]
Marco Vassena, Alejandro Russo, Pablo Buiras, Lucas Waye
JLAMP 2018
In Journal of Logical and Algebraic Methods in Programming

Securing Concurrent Lazy Programs Against Information Leakage
[ artifact | extended ]
Marco Vassena, Joachim Breitner and Alejandro Russo
CSF 2017
In Proc. of IEEE Computer Security Foundations Symposium

On Formalizing Information-Flow Control Libraries
Marco Vassena and Alejandro Russo
PLAS 2016
In Proc. of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries
[ extended ]
Marco Vassena, Pablo Buiras, Lucas Waye and Alejandro Russo
ESORICS 2016
In Proc. of European Symposium on Research in Computer Security

Generic Diff3 for Algebraic Datatypes
Marco Vassena
TyDe 2016
In Proc. of ACM SIGPLAN Workshop on Type-Driven Development

Theses

Verifying Information Flow Control Libraries
Marco Vassena
2019
PhD Thesis, Chalmers University of Technology

MAC, A Verified Information-Flow Control Library
Marco Vassena
2017
Licentiate Thesis, Chalmers University of Technology

SVC, A prototype of a Structure-aware Version Control system
Marco Vassena
2015
Master Thesis, Utrecht University

Teaching

Courses

Teaching Assistant

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

+46764109924
marco.vassena@cispa.saarland