HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors - CentraleSupélec
Conference Poster Year : 2015

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

Guy Gogniat
Vianney Lapotre

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.
Fichier principal
Vignette du fichier
ches_abstract.pdf (142.66 Ko) Télécharger le fichier
ches_poster.pdf (873.29 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Format Poster
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01252597 , version 1 (07-01-2016)

Identifiers

  • HAL Id : hal-01252597 , version 1

Cite

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⟩
813 View
604 Download

Share

More