Send email Copy Email Address
Postdoc

Marco Vassena

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Marco Vassena

Year 2021

2021-01

Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade

Conference / Medium

POPL
Proceedings of the ACM on Programming Languages48th ACM SIGPLAN Symposium on Principles of Programming Languages

Tags
Trustworthy Information Processing
Authors
  • Marco Vassena
  • Craig Disselkoen
  • Sunjay Cauligi
  • Klaus Gleissenthall
  • Rami Gökhan Kici
  • Ranjit Jhala
  • Deian Stefan
  • Dean Tullsen
Download Visit Detail Page

Year 2020

2020-10

Modular Black-box Runtime Verification of Security Protocols

Conference / Medium

PLAS 2020

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2020-06-22

Securing Asynchronous Exceptions

Conference / Medium

CSF
33rd IEEE Computer Security Foundations SymposiumComputer Security Foundations Symposium

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2020-01-19

Memory Safety Preservation for WebAssembly

Other

PriSC
47th ACM SIGPLAN Symposium on Principles of Programming LanguagesWorkshop on Principles of Secure Compilation

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2019

2019-01

Memory Safety Preservation for WebAssembly

Other

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page