Hardware support for the security analysis of embedded softwares : applications on information flow control and malware analysis - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2018

Hardware support for the security analysis of embedded softwares : applications on information flow control and malware analysis

Support matériel pour l'analyse de sécurité du comportement des applications : application au contrôle de flux d'information et à l'analyse des logiciels malveillants

Résumé

Information flow control (also known as Dynamic Information Flow Tracking, DIFT), allows a user to detect several types of software attacks such as buffer overflow or SQL injections. In this thesis, a solution based on the ARM Cortex-A9 processor family is proposed. Our approach relies on the use of ARM CoreSight components, which are able to trace software as executed by the processor in order to perform the information flow tracking. The DIFT coprocessor proposed in this thesis is implemented in an Artix-7 FPGA, embedded in a System-on-Chip (SoC) Zynq provided by Xilinx. It is shown that using ARM CoreSight components does not add a latency overhead while giving a better communication time between the ARM processor and the DIFT coprocessor.
Le contrôle de flux d’informations, Dynamic Information Flow Tracking (DIFT), permet de détecter différents types d’attaques logicielles tels que les dépassements de tampon ou les injections SQL. Dans cette thèse, une solution ciblant les processeurs hardcore ARM Cortex-A9 est proposée. Notre approche s’appuie sur des composants ARM CoreSight, qui permettent de tracer l’exécution des programmes exécutés par le processeur, afin de réaliser le contrôle de flux d’informations. Le co-processeur DIFT que nous proposons est réalisé dans la partie FPGA Artix-7 du système sur puce (SoC) Zynq. Il est montré que l’utilisation des composants ARM CoreSight n’ajoute pas de surcoût en terme de temps d’exécution et permet une amélioration du temps de communication entre le processeur ARM et le coprocesseur DIFT.
Fichier principal
Vignette du fichier
2018_WAHAB_archivage.pdf (9.65 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)
Loading...

Dates et versions

tel-02634340 , version 1 (27-05-2020)

Identifiants

  • HAL Id : tel-02634340 , version 1

Citer

Muhammad Abdul Wahab. Hardware support for the security analysis of embedded softwares : applications on information flow control and malware analysis. Hardware Architecture [cs.AR]. CentraleSupélec, 2018. English. ⟨NNT : 2018CSUP0003⟩. ⟨tel-02634340⟩
141 Consultations
272 Téléchargements

Partager

Gmail Facebook X LinkedIn More