ARMHEx: a framework for efficient DIFT in real-world SoCsReport as inadecuate

ARMHEx: a framework for efficient DIFT in real-world SoCs - Download this document for free, or read online. Document in PDF available to download.

1 SCEE - Signal, Communication et Electronique Embarquée SUPELEC, CentraleSupélec 2 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 4 Lab-STICC - Laboratoire des sciences et techniques de l-information, de la communication et de la connaissance Lorient

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.

Keywords : DIFT CoreSight ARM Debug components Information Flow tracking Zynq SoC Zynq SoC IFT Dynamic information flow tracking

Author: Muhammad Abdul Wahab - Pascal Cotret - Mounir Nasr Allah - Guillaume Hiet - Vianney Lapotre - Guy Gogniat -



Related documents