Skip to Main content Skip to Navigation
Poster communications

ARMHEx: a framework for efficient DIFT in real-world SoCs

Muhammad Abdul Wahab 1, 2 Pascal Cotret 1, 2 Mounir Nasr Allah 3 Guillaume Hiet 3 Vianney Lapotre 4 Guy Gogniat 4
3 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
4 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Security in embedded systems remains a major concern. Untrustworthy authorities use a wide range of software attacks. This demo introduces ARMHEx, a practical solution targeting DIFT (Dynamic Information Flow Tracking) implementations on ARM-based SoCs. DIFT is a solution that consists in tracking the dissemination of data inside the system and allows to enforce some security properties. In this demo, we show an implementation of ARMHEx on Xilinx Zynq SoC. Especially, we show how the required information for DIFT is recovered with the help of traces produced by CoreSight components, static analysis and instrumentation.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01558475
Contributor : Muhammad Abdul Wahab <>
Submitted on : Friday, July 7, 2017 - 5:26:53 PM
Last modification on : Monday, October 5, 2020 - 9:50:25 AM
Long-term archiving on: : Wednesday, January 24, 2018 - 7:41:41 AM

File

bare_conf.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01558475, version 1

Citation

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, et al.. ARMHEx: a framework for efficient DIFT in real-world SoCs. Field Programmable Logic (FPL), Sep 2017, Ghent, Belgium. 2017. ⟨hal-01558475⟩

Share

Metrics

Record views

3688

Files downloads

386