Spot the Difference: Secure Multi-Execution and Multiple Facets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Spot the Difference: Secure Multi-Execution and Multiple Facets

Nataliia Bielova

Abstract

We propose a rigorous comparison of two widely known dynamic information flow mechanisms: Secure Multi-Execution (SME) and Multiple Facets (MF). Informally, it is believed that MF simulates SME while providing better performance. Formally, it is well known that SME has stronger soundness guarantees than MF. Surprisingly, we discover that even if we approach them to enforce the same soundness guarantees, they are still different. While modeling them in the same language, we are able to precisely identify the features of the semantics that lead to their differences. In the process of comparing them, we also discovered four new mechanisms that share features of MF and SME. We prove that one of them simulates SME, which was falsely believed to be true for MF.
Fichier principal
Vignette du fichier
main.pdf (137.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01348192 , version 1 (22-07-2016)

Identifiers

  • HAL Id : hal-01348192 , version 1

Cite

Nataliia Bielova, Tamara Rezk. Spot the Difference: Secure Multi-Execution and Multiple Facets. European Symposium on Research in Computer Security (ESORICS), Sep 2016, Heraklion, Greece. ⟨hal-01348192⟩
109 View
184 Download

Share

Gmail Facebook X LinkedIn More