Send email Copy Email Address
Postdoc

Marco Vassena

Reliable Security Guarantees

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Marco Vassena

Year 2020

2020-10

Modular Black-box Runtime Verification of Security Protocols

Conference / Medium

PLAS 2020

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2020-06-22

Securing Asynchronous Exceptions

Conference / Medium

CSF
33rd IEEE Computer Security Foundations SymposiumComputer Security Foundations Symposium

Tags
Reliable Security Guarantees
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
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2019

2019-01

Memory Safety Preservation for WebAssembly

Other

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page