Skip to Main content Skip to Navigation
New interface
Conference papers

ARMHEx: A hardware extension for DIFT on ARM-based 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 is a major issue nowadays for the embedded systems community. Untrustworthy authorities may use a wide range of attacks in order to retrieve critical information. This paper introduces ARMHEx, a practical solution targeting DIFT (Dynamic Information Flow Tracking) on ARM-based SoCs (e.g. Xilinx Zynq). Current DIFT implementations suffer from two major drawbacks. First, recovering required information for DIFT is generally based on software instrumentation leading to high time overheads. ARMHEx takes profit of ARM CoreSight debug components and static analysis to drastically reduce instrumentation time overhead (up to 90% compared to existing works). Then, security of the DIFT hardware extension itself is not considered in related works. In this work, we tackle this issue by proposing a solution based on ARM Trustzone.
Complete list of metadata

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


Files produced by the author(s)



Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, et al.. ARMHEx: A hardware extension for DIFT on ARM-based SoCs. 2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩. ⟨hal-01558473⟩



Record views


Files downloads