An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
The work
| Authors | Thomas Given-Wilson; Annelie Heuser; Nisrine Jafri; Axel Legay |
|---|---|
| Editors | |
| Type | article |
| Year | 2018 |
| Citekey | givenwilson2018automated |
Where it appeared
| Published in | Concurrency and Computation Practice and Experience |
|---|---|
| Publisher | Wiley |
| Volume | 31 |
| Issue | 23 |
| Pages | 1--12 |
Identifiers
| DOI | 10.1002/cpe.4794 |
|---|---|
| OpenAlex | W2892055173 |
Access
| Landing page | https://doi.org/10.1002/cpe.4794 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Summary Fault injection has increasingly been used both to attack software applications and to test system robustness. Detecting fault injection vulnerabilities has been approached with a variety of different but limited methods. This paper proposes an extension of a recently published general model checking based process to detect fault injection vulnerabilities in binaries. This new extension makes the general process scalable to real‐world implementations, which is demonstrated by detecting vulnerabilities in different cryptographic implementations.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 08:41 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{givenwilson2018automated,
title = {An automated and scalable formal process for detecting fault injection vulnerabilities in binaries},
author = {Thomas Given-Wilson and Annelie Heuser and Nisrine Jafri and Axel Legay},
year = {2018},
journal = {Concurrency and Computation Practice and Experience},
publisher = {Wiley},
volume = {31},
number = {23},
pages = {1--12},
doi = {10.1002/cpe.4794},
}
This record lives at https://refs.drheap.org/givenwilson2018automated/ and will keep doing so.