Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 3 of 3 for “"Fault Injection Analysis"”.

  1. Scenario-based verification and validation of dynamic UML specifications

    … to UML specifications, enable early detection of analysis and design flaws prior to implementation. In this work, we address four V&V analysis methods for UML dynamic specifications, namely: Timing analysis and automatic V&V of timing constraints, automated Architectural-level Risk assessment, …

    wvu Repository record for Scenario-based verification and validation of dynamic UML specifications (opens in a new tab)

  2. Design and evaluation of information flow signature for secure computation of applications

    … uses both a model-checker-based symbolic fault injection analysis tool called SymPLFIED to generate an IFS for an application or operating system, and runtime signature checking at the level of hardware to protect the integrity of critical data. The runtime checking is implemented in the …

    uiuc Repository record for Design and evaluation of information flow signature for secure computation of applications (opens in a new tab)

  3. A Deep Learning Approach to Side-Channel Analysis of Cryptographic Hardware

    … a class of physical attacks called side-channel analysis (SCA) has emerged which compromises the security of systems. While security claims of cryptographic algorithms are based on the complexity of classical cryptanalysis attacks, they exclude information leakage by implementations on hardware …

    vt Repository record for A Deep Learning Approach to Side-Channel Analysis of Cryptographic Hardware (opens in a new tab)