Marco Vassena

According to our database, Marco Vassena authored at least 11 papers between 2016 and 2021.

Collaborative distances:

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

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

2019

From fine- to coarse-grained dynamic information flow control and back.

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

Proc. ACM Program. Lang., 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