Marco Vassena

According to our database, Marco Vassena authored at least 17 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

Proc. ACM Program. Lang., January, 2023

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back.

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan

Found. Trends Program. Lang., 2023

Robust Constant-Time Cryptography.

Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan

CoRR, 2023

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, a Tutorial on Dynamic Information Flow.

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan

CoRR, 2022

A Turning Point for Verified Spectre Sandboxing.

Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena

CoRR, 2022

2021

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

2020

Automatically Eliminating Speculative Leaks With Blade.

Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

CoRR, 2020

Securing Asynchronous Exceptions.

Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

PLAS'20: 15th Workshop on Programming Languages and Analysis for Security.

Alley Stoughton, Marco Vassena

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

Short Paper: Modular Black-box Runtime Verification of Security Protocols.

Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019

Memory Safety Preservation for WebAssembly.

Marco Vassena, Marco Patrignani

CoRR, 2019

Foundations for Parallel Information Flow Control Runtime Systems.

Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2017

Securing Concurrent Lazy Programs Against Information Leakage.

Marco Vassena, Joachim Breitner, Alejandro Russo

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Generic Diff3 for algebraic datatypes.

Marco Vassena

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.

Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo

Proceedings of the Computer Security - ESORICS 2016, 2016

On Formalizing Information-Flow Control Libraries.

Marco Vassena, Alejandro Russo

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016