Papers
- From Fine- To Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani and Deian Stefan. In Foundations and Trends in Programming Languages 2023.
- MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Alexandra Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan. In POPL 2023.
- Automatically Eliminating Speculative Leaks From Cryptographic Code With Blade (Distinguished Paper). Marco Vassena, Craig Disselkoen, Klaus v. Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean Tullsen, Deian Stefan. In POPL 2021.
- Short Paper: Modular Black-Box Runtime Verification of Security Protocols. Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann. In PLAS 2020.
- Securing Asynchronous Exceptions. Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo. In CSF 2020.
- Memory Safety Preservation for WebAssembly. Marco Vassena and Marco Patrignani. In PriSC 2020.
- Foundations for Parallel Information Flow Control Runtime Systems. Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, and Deian Stefan. In POST 2019.
- From Fine- To Coarse-Grained Dynamic Information Flow Control and Back (Distinguished Paper). Marco Vassena, Alejandro Russo, Deian Stefan, Deepak Garg, Vineet Rajani. In POPL 2O19.
- MAC, a Verified Static Information-Flow Control Library. Marco Vassena, Alejandro Russo, Pablo Buiras, Lucas Waye. In JLAMP 2018.
- Securing Concurrent Lazy Programs Against Information Leakage. Marco Vassena, Joachim Breitner and Alejandro Russo. In CSF 2017.
- On Formalizing Information-Flow Control Libraries. Marco Vassena and Alejandro Russo. In PLAS 2016.
- Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. Marco Vassena, Pablo Buiras, Lucas Waye and Alejandro Russo. In ESORICS 2016.
- Generic Diff3 for Algebraic Datatypes. Marco Vassena. In TyDe 2016.
Theses
- Verifying Information Flow Control Libraries, Marco Vassena, PhD Thesis, Chalmers University of Technology 2019 .
- MAC, a Verified Information-Flow Control Library, Marco Vassena, Licentiate Thesis, Chalmers University of Technology 2017 .
- SVC, a Prototype of a Structure-Aware Version Control System, Marco Vassena, M.Sc Thesis, Utrecht University 2015 .