Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

Garg, D., Hritcu, C., Patrignani, M., Stronati, M., & Swasey, D. (2017). Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). Retrieved from http://arxiv.org/abs/1710.07309.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Forschungspapier

Dateien

einblenden: Dateien
ausblenden: Dateien
:
arXiv:1710.07309.pdf (Preprint), 438KB
Name:
arXiv:1710.07309.pdf
Beschreibung:
File downloaded from arXiv at 2018-02-23 13:41
OA-Status:
Sichtbarkeit:
Öffentlich
MIME-Typ / Prüfsumme:
application/pdf / [MD5]
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Garg, Deepak1, Autor           
Hritcu, Catalin2, Autor           
Patrignani, Marco2, Autor           
Stronati, Marco2, Autor
Swasey, David1, Autor           
Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289              
2External Organizations, ou_persistent22              

Inhalt

einblenden:
ausblenden:
Schlagwörter: Computer Science, Cryptography and Security, cs.CR,Computer Science, Programming Languages, cs.PL
 Zusammenfassung: We map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty preservation. For this, we study the preservation of several classes of hyperproperties and for each class we propose an equivalent "property-free" characterization of secure compilation that is generally better tailored for proofs. Even the strongest of our soundness criteria, the robust preservation of all hyperproperties, seems achievable for simple transformations and provable using context back-translation techniques previously developed for showing fully abstract compilation. While proving the robust preservation of hyperproperties that are not safety requires such powerful context back-translation techniques, for preserving safety hyperproperties robustly, translating each finite trace prefix back to a source context seems to suffice.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2017-10-192017-12-202017
 Publikationsstatus: Online veröffentlicht
 Seiten: 3 p.
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: arXiv: 1710.07309
URI: http://arxiv.org/abs/1710.07309
BibTex Citekey: Garg_arXiv1710.07309
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: