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

https://hal.archives-ouvertes.fr/hal-01558475
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

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

3417

Files downloads

244