Skip to Main content Skip to Navigation
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
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 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 metadatas

Cited literature [21 references]  Display  Hide  Download

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

File

bare_conf.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

3798

Files downloads

1089