Skip to Main content Skip to Navigation
New interface
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 
1 SCEE - Signal, Communication et Electronique Embarquée
IETR - Institut d'Electronique et de Télécommunications de Rennes
3 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
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 metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Muhammad Abdul WAHAB Connect in order to contact the contributor
Submitted on : Friday, July 7, 2017 - 5:26:53 PM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM
Long-term archiving on: : Wednesday, January 24, 2018 - 7:41:41 AM


Files produced by the author(s)


  • HAL Id : hal-01558475, version 1


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⟩



Record views


Files downloads