Marco Vassena

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Automatically eliminating speculative leaks from cryptographic code with blade.
Proc. ACM Program. Lang., 2021

2020
Automatically Eliminating Speculative Leaks With Blade.
CoRR, 2020

Securing Asynchronous Exceptions.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

PLAS'20: 15th Workshop on Programming Languages and Analysis for Security.
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.
Proc. ACM Program. Lang., 2019

Memory Safety Preservation for WebAssembly.
CoRR, 2019

Foundations for Parallel Information Flow Control Runtime Systems.
Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2017
Securing Concurrent Lazy Programs Against Information Leakage.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
Generic Diff3 for algebraic datatypes.
Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.
Proceedings of the Computer Security - ESORICS 2016, 2016

On Formalizing Information-Flow Control Libraries.
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016


  Loading...