E-mail senden E-Mail Adresse kopieren
Forschungsgruppenleiter:in

Marco Patrignani

Vertrauenswürdige Informations­verarbeitung Zuverlässige Sicherheitsgarantien Sichere Mobile und Autonome Systeme

E-Mail

Adresse


66123 Saarbrücken (Germany)

Weitere Informationen

Veröffentlichungen von Marco Patrignani

Jahr 2020

2020-10-02

Exorcising Spectres with Secure Compilers

Andere

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

Type-Directed Scheduling of Streaming Accelerators

Konferenz / Medium

PLDI
PLDIProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • David Durst
  • Matthew Feldman
  • Dillon Huff
  • David Akeley
  • Ross Daly
  • Gilbert Louis Bernstein
  • Marco Patrignani
  • Kayvon Fatahalian
  • Pat Hanrahan
Herunterladen Detail-Seite besuchen
2020-05

Trace-Relating Compiler Correctness and Secure Compilation

Konferenz / Medium

ESOP
ESOPProgramming Languages and Systems

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • Carmine Abate
  • Roberto Blanco
  • Stefan Ciobaca
  • Adrien Durier
  • Deepak Garg
  • Catalin Hritcu
  • Marco Patrignani
  • Éric Tanter
  • Jérémy Thibault
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
2020-01

Universal Composability is Secure Compilation

Konferenz / Medium

PriSC
PriSC 2020 - co-located with POPL

Tags
Zuverlässige Sicherheitsgarantien Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2019

2019-06

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Konferenz / Medium

CSF
csf

Tags
Vertrauenswürdige Informations­verarbeitung Zuverlässige Sicherheitsgarantien
Autor:innen
  • Carmine Abate
  • Roberto Blanco
  • Deepak Garg
  • Catalin Hritcu
  • Marco Patrignani
  • Jeremy Thibault
Herunterladen Detail-Seite besuchen
2019-05-23

Robustly Safe Compilation

Konferenz / Medium

ESOP
Programming Languages and Systems,ESOP

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

Memory Safety Preservation for WebAssembly

Andere

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

Jahr 2017

2017-12

Parametricity Versus the Universal Type

Konferenz / Medium

Proc. ACM Program. Lang.POPL

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

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

Konferenz / Medium

1st Workshop on Principles of Secure Compilation

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