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

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
Contributor : Muhammad Abdul Wahab <>
Submitted on : Friday, July 7, 2017 - 5:26:53 PM
Last modification on : Tuesday, November 12, 2019 - 3:58:58 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