Marco Vassena

20 papers A* 1A 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Robust Constant-Time Cryptography.
Proc. ACM Program. Lang.
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
2023 J jnl
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back.
Found. Trends Program. Lang.
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2023 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang.
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2023 J jnl
Robust Constant-Time Cryptography.
CoRR
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
2022 J jnl
A Turning Point for Verified Spectre Sandboxing.
CoRR
Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena
2022 J jnl
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow.
CoRR
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2022 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2021 J jnl
Automatically eliminating speculative leaks from cryptographic code with blade.
Proc. ACM Program. Lang.
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
2020 J jnl
Automatically Eliminating Speculative Leaks With Blade.
CoRR
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2020 A* conf
PLAS'20: 15th Workshop on Programming Languages and Analysis for Security.
CCS
Alley Stoughton, Marco Vassena
2020 — ed.
PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020
PLAS@CCS
Alley Stoughton, Marco Vassena
2020 A conf
Securing Asynchronous Exceptions.
CSF
Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo
2020 — conf
Short Paper: Modular Black-box Runtime Verification of Security Protocols.
PLAS@CCS
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
2019 — conf
Foundations for Parallel Information Flow Control Runtime Systems.
POST
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
2019 J jnl
From fine- to coarse-grained dynamic information flow control and back.
Proc. ACM Program. Lang.
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2019 J jnl
Memory Safety Preservation for WebAssembly.
CoRR
Marco Vassena, Marco Patrignani
2017 A conf
Securing Concurrent Lazy Programs Against Information Leakage.
CSF
Marco Vassena, Joachim Breitner, Alejandro Russo
2016 — conf
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.
ESORICS (1)
Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo
2016 — conf
Generic Diff3 for algebraic datatypes.
TyDe@ICFP
Marco Vassena
2016 — conf
On Formalizing Information-Flow Control Libraries.
PLAS@CCS
Marco Vassena, Alejandro Russo