Analyzing the Fault Injection Sensitivity of Secure Embedded Software

2017 ◽  
Vol 16 (4) ◽  
pp. 1-25 ◽  
Author(s):  
Bilgiday Yuce ◽  
Nahid Farhady Ghalaty ◽  
Chinmay Deshpande ◽  
Harika Santapuri ◽  
Conor Patrick ◽  
...  
Keyword(s):  
Fault Injection ◽  
Embedded Software

Software Fault Injection Testing of the Embedded Software of a Satellite Launch Vehicle

2013 ◽  
Vol 32 (5) ◽  
pp. 38-44 ◽  
Author(s):  
A. Samuel ◽  
N. Jayalal ◽  
B. Valsa ◽  
C. A. Ignatious ◽  
J. Zachariah
Keyword(s):  
Fault Injection ◽  
Embedded Software ◽  
Launch Vehicle ◽  
Software Fault ◽  
Satellite Launch Vehicle

scholarly journals SimpliFI: Hardware Simulation of Embedded Software Fault Attacks

Cryptography ◽  
2021 ◽  
Vol 5 (2) ◽  
pp. 15
Author(s):  
Jacob Grycel ◽  
Patrick Schaumont
Keyword(s):  
Fault Injection ◽  
Embedded Software ◽  
Fault Models ◽  
Simulation Framework ◽  
Embedded Processor ◽  
Fault Attacks ◽  
Simulation Methodology ◽  
Fault Behavior ◽  
Injection Simulation ◽  
High Level

Fault injection simulation on embedded software is typically captured using a high-level fault model that expresses fault behavior in terms of programmer-observable quantities. These fault models hide the true sensitivity of the underlying processor hardware to fault injection, and they are unable to correctly capture fault effects in the programmer-invisible part of the processor microarchitecture. We present SimpliFI, a simulation methodology to test fault attacks on embedded software using a hardware simulation of the processor running the software. We explain the purpose and advantage of SimpliFI, describe automation of the simulation framework, and apply SimpliFI on a BRISC-V embedded processor running an AES application.

Testing Embedded Software Through Fault Injection: Case Study on Smart Lock

2021 ◽  
Author(s):  
Jakub Lojda ◽  
Richard Panek ◽  
Jakub Podivinsky ◽  
Ondrej Cekan ◽  
Martin Krcma ◽  
...  
Keyword(s):  
Fault Injection ◽  
Embedded Software

Application of Error Estimating Model to Control Quality in Embedded Software Development

2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Control Quality
Sign in / Sign up

Export Citation Format

Share Document