On Formalizing Information-Flow Control Libraries. - Marco Vassena; Alejandro Russo (PLAS@CCS, 2016)

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. - Marco Vassena; Pablo Buiras; Lucas Waye; Alejandro Russo (ESORICS (1), 2016)

Generic Diff3 for algebraic datatypes. - Marco Vassena (TyDe@ICFP, 2016)

Securing Concurrent Lazy Programs Against Information Leakage. - Marco Vassena; Joachim Breitner; Alejandro Russo (CSF, 2017)

Foundations for Parallel Information Flow Control Runtime Systems. - Marco Vassena; Gary Soeller; Peter Amidon; Matthew Chan; John Renner; Deian Stefan (POST, 2019)

Memory Safety Preservation for WebAssembly. - Marco Vassena; Marco Patrignani (CoRR, 2019)

Short Paper: Modular Black-box Runtime Verification of Security Protocols. - Kevin Morio; Dennis Jackson; Marco Vassena; Robert Künnemann (PLAS@CCS, 2020)

PLAS'20: 15th Workshop on Programming Languages and Analysis for Security. - Alley Stoughton; Marco Vassena (CCS, 2020)

Securing Asynchronous Exceptions. - Carlos Tomé Cortiñas; Marco Vassena; Alejandro Russo (CSF, 2020)

Automatically Eliminating Speculative Leaks With Blade. - Marco Vassena; Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CoRR, 2020)

Automatically eliminating speculative leaks from cryptographic code with blade. - Marco Vassena; Craig Disselkoen; Klaus von Gleissenthall; Sunjay Cauligi; Rami Gökhan Kici; Ranjit Jhala; Dean M. Tullsen; Deian Stefan (Proc. ACM Program. Lang., 2021)

A Turning Point for Verified Spectre Sandboxing. - Sunjay Cauligi; Marco Guarnieri; Daniel Moghimi; Deian Stefan; Marco Vassena (CoRR, 2022)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (CoRR, 2022)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Craig Disselkoen; Aidan Denlinger; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (CoRR, 2022)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (Found. Trends Program. Lang., 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

Robust Constant-Time Cryptography. - Matthew Kolosick; Basavesh Ammanaghatta Shivakumar; Sunjay Cauligi; Marco Patrignani; Marco Vassena; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2025)