E-mail senden E-Mail Adresse kopieren
Placeholder
Professor:in

Deepak Garg

Vertrauenswürdige Informations­verarbeitung Zuverlässige Sicherheitsgarantien

E-Mail

Adresse

Campus E1 5
66123 Saarbrücken (Germany)

Veröffentlichungen von Deepak Garg

Jahr 2021

2021-07

Accountability in the Decentralised-Adversary Setting

Konferenz / Medium

CSF
CSF 2021

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

Jahr 2020

2020-05

Trace-Relating Compiler Correctness and Secure Compilation

Konferenz / Medium

ESOP
ESOPProgramming Languages and Systems

Tags
Vertrauenswürdige Informations­verarbeitung
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
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-03-25

ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

Konferenz / Medium

EuroSys
Proceedings of the Fourteenth EuroSys Conference 2019

Tags
Vertrauenswürdige Informations­verarbeitung Zuverlässige Sicherheitsgarantien
Autor:innen
Herunterladen Detail-Seite besuchen
2019

Causality & Control flow

Konferenz / Medium

CREST
4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

Tags
Zuverlässige Sicherheitsgarantien Sichere Mobile und Autonome Systeme
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2018

2018

Monadic refinements for relational cost analysis

Artikel

PACMPL

Tags
Autor:innen
  • Ivan Radicek
  • Gilles Barthe
  • Marco Gaboardi
  • Deepak Garg
  • Florian Zuleger
Herunterladen Detail-Seite besuchen
2018

CONFLLVM: Compiler-Based Information Flow Control in Low-Level Code

Konferenz / Medium

EuroS&P
In Submission

Tags
Autor:innen
Herunterladen Detail-Seite besuchen
2018

Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead

Artikel

CoRR

Tags
Autor:innen
Herunterladen Detail-Seite besuchen
2018

ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys

Artikel

CoRR

Tags
Autor:innen
  • Anjo Vahldiek-Oberwanger
  • Eslam Elnikety
  • Deepak Garg
  • Peter Druschel
Herunterladen Detail-Seite besuchen