Spot the Difference: Secure Multi-Execution and Multiple Facets

Nataliia Bielova 1 Tamara Rezk 1
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Type de document :
Communication dans un congrès
European Symposium on Research in Computer Security (ESORICS), Sep 2016, Heraklion, Greece. European Symposium on Research in Computer Security (ESORICS 2016), 〈http://www.ics.forth.gr/esorics2016/〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01348192
Contributeur : Nataliia Bielova <>
Soumis le : vendredi 22 juillet 2016 - 15:29:35
Dernière modification le : jeudi 11 janvier 2018 - 16:47:56

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01348192, version 1

Collections

Citation

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. European Symposium on Research in Computer Security (ESORICS 2016), 〈http://www.ics.forth.gr/esorics2016/〉. 〈hal-01348192〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

43