Semantic analysis of bitstreams: Application to ring oscillator detection for FPGA security - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2022

Semantic analysis of bitstreams: Application to ring oscillator detection for FPGA security

Analyse sémantique de bitstream : Application à la détection d'oscillateurs en anneau pour la sécurité des FPGAs

Résumé

In this work, we propose a new method for detecting ring oscillators characterized by combinatorial loops. These circuits are currently undetected by conventional bitstream analysis tools, all of which are based on reverse engineering. We analyze the bitstream from a semantic point of view and propose a two-dimensional model (image). The model allows us to identify features related to the presence of ring oscillators in the FPGA bitstream image. A proof-of-concept is demonstrated on the Stratix-IV-like FPGA architecture.
Dans ce travail nous proposons une nouvelle méthode de détection d'oscillateurs en anneau, caractérisé par des boucles combinatoires. Ces circuits sont actuellement non détecté par les outils conventionnels d'analyse de bitstream tous basés sur l'ingénierie inversée. Nous analysons le bitstream d'un point de vue sémantique et proposons un modèle bidimensionnel (image). Le modèle nous permet d'identifier des caractéristiques liées à la présence d'oscillateurs en anneaux dans l'image du bitstream du FPGA. Une preuve de faisabilité est démontrée sur l'architecture FPGA Stratix-IV-like.
Fichier non déposé

Dates et versions

hal-04136496 , version 1 (21-06-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04136496 , version 1

Citer

Sylvain Takougang, Andrea Pinna, Sebastien Pillement. Semantic analysis of bitstreams: Application to ring oscillator detection for FPGA security. 16th Colloque of the GDR SOC2, Jun 2022, Strasbourg, France. 2022. ⟨hal-04136496⟩
49 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More