HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

Pascal Cotret 1 Guillaume Hiet 2 Guy Gogniat 3 Vianney Lapotre 3
1 IETR - Institut d'Electronique et de Télécommunications de Rennes
2 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
3 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Information Flow Control is a security mechanisms that provides security guarantees about information propagation. Other security mechanisms such as access control or cryptography can be used to limit the dissemination of confidential information and the modification of high integrity contents. However, they do not enforce end-to-end properties. They cannot control the dissemination of information once file access is allowed or the data is decrypted. In this context, HardBlare proposes a software/hardware codesign methodology to ensure that security properties are preserved all allong the execution of the system but also during files storage. The general context of HardBlare is to address Dynamic Information Flow Control (DIFC) that generally consists in attaching marks (also known as tags) to denote the type of information that are saved or generated within the system.
Type de document :
Communication dans un congrès
CHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger
https://hal-centralesupelec.archives-ouvertes.fr/hal-01252597
Contributeur : Pascal Cotret <>
Soumis le : jeudi 7 janvier 2016 - 17:22:57
Dernière modification le : mercredi 11 avril 2018 - 02:00:18
Document(s) archivé(s) le : vendredi 8 avril 2016 - 13:34:48

Fichiers

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

Identifiants

  • HAL Id : hal-01252597, version 1

Collections

UNIV-BREST | LAB-STICC_ENIB | ENIB | IETR | IETR_SCEE | UNIV-NANTES | LAB-STICC_UBS | LAB-STICC | INRIA | SUP_IETR | IRISA | UBS | CENTRALESUPELEC | SUP_CIDRE | SUP_SCEE | UR1-UFR-ISTIC | UNIV-PARIS-SACLAY | UNIV-RENNES | INRIA-RENGRE

Citation

Pascal Cotret, Guillaume Hiet, Guy Gogniat, Vianney Lapotre. HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors. CHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015. 〈hal-01252597〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

2135

Téléchargements de fichiers

454

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD