Marco Vassena

Orcid: 0000-0002-4795-0236

Affiliations:

Utrecht University, The Netherlands
CISPA Helmholtz Center for Information Security, Saarbrücken, Germany (former)

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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

Robust Constant-Time Cryptography.

[BibT_eX]

[DOI]

Matthew Kolosick

Basavesh Ammanaghatta Shivakumar

CoRR, 2023

2022

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

[BibT_eX]

[DOI]

CoRR, 2022

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow.

[BibT_eX]

[DOI]

CoRR, 2022

A Turning Point for Verified Spectre Sandboxing.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Automatically eliminating speculative leaks from cryptographic code with blade.

[BibT_eX]

[DOI]

Marco Vassena

Craig Disselkoen

Klaus von Gleissenthall

Proc. ACM Program. Lang., 2021

2020

Automatically Eliminating Speculative Leaks With Blade.

[BibT_eX]

[DOI]

Marco Vassena

Klaus von Gleissenthall

Rami Gökhan Kici

Deian Stefan

Ranjit Jhala

CoRR, 2020

Securing Asynchronous Exceptions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Memory Safety Preservation for WebAssembly.

[BibT_eX]

[DOI]

Marco Vassena

Marco Patrignani

CoRR, 2019

Foundations for Parallel Information Flow Control Runtime Systems.

[BibT_eX]

[DOI]

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

2017

Securing Concurrent Lazy Programs Against Information Leakage.

[BibT_eX]

[DOI]

Marco Vassena

Joachim Breitner

Alejandro Russo

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

2016

Generic Diff3 for algebraic datatypes.

[BibT_eX]

[DOI]

Marco Vassena

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

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

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2016, 2016

On Formalizing Information-Flow Control Libraries.

[BibT_eX]

[DOI]

Marco Vassena

Alejandro Russo

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

Marco Vassena

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...