Fraunhofer-Institut für Angewandte und Integrierte Sicherheit AISEC

Filters

1
1
1
1
Reset filters

Settings
Now showing 1 - 1 of 1
  • Publication
    ARCHIE: A QEMU-Based Framework for Architecture-Independent Evaluation of Faults
    ( 2021-09-17)
    Hauschild, Florian
    ;
    Garb, Kathrin
    ;
    Auer, Lukas orcid-logo
    ;
    Selmke, Bodo orcid-logo
    ;
    Obermaier, Johannes
    Fault injection is a major threat to embedded system security since it can lead to modified control flows and leakage of critical security parameters, such as secret keys. However, injecting physical faults into devices is cumbersome and difficult since it requires a lot of preparation and manual inspection of the assembly instructions. Furthermore, a single fault injection method cannot cover all possible fault types. Simulating fault injection in comparison, is, in general, less costly, more time-efficient, and can cover a large amount of possible fault combinations. Hence, many different fault injection tools have been developed for this purpose. However, previous tools have several drawbacks since they target only individual architectures or cover merely a limited amount of the possible fault types for only specific memory types. In this paper, we present ARCHIE, a QEMU-based architectureindependent fault evaluation tool, that is able to simulate transient and permanent instruction and data faults in RAM, flash, and processor registers. ARCHIE supports dynamic code analysis and parallelized execution. It makes use of the Tiny Code Generator (TCG) plugin, which we extended with our fault plugin to enable read and write operations from and to guest memory. We demonstrate ARCHIE's capabilities through automatic binary analysis of two exemplary applications, TinyAES and a secure bootloader, and validate our tool's results in a laser fault injection experiment. We show that ARCHIE can be run both on a server with extensive resources and on a common laptop. ARCHIE can be applied to a wide range of use cases for analyzing and enhancing open source and proprietary firmware in white, grey, or black box tests.