E-mail senden E-Mail Adresse kopieren
Postdoc

Marco Vassena

Zuverlässige Sicherheitsgarantien

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Marco Vassena

Jahr 2020

2020-10

Modular Black-box Runtime Verification of Security Protocols

Konferenz / Medium

PLAS 2020

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen
2020-06-22

Securing Asynchronous Exceptions

Konferenz / Medium

CSF
33rd IEEE Computer Security Foundations SymposiumComputer Security Foundations Symposium

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen
2020-01-19

Memory Safety Preservation for WebAssembly

Andere

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2019

2019-01

Memory Safety Preservation for WebAssembly

Andere

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen