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 2021

2021-01

Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Marco Vassena
  • Craig Disselkoen
  • Sunjay Cauligi
  • Klaus Gleissenthall
  • Rami Gökhan Kici
  • Ranjit Jhala
  • Deian Stefan
  • Dean Tullsen
Herunterladen Detail-Seite besuchen

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