The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
The work
| Authors | Thomas Given-Wilson; Nisrine Jafri; Jean-Louis Lanet; Axel Legay |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2017 |
| Citekey | givenwilson2017automated |
Where it appeared
| Published in | 2017 IEEE Trustcom/BigDataSE/ICESS |
|---|---|
| Publisher | IEEE |
| Pages | 293--300 |
Identifiers
| DOI | 10.1109/trustcom/bigdatase/icess.2017.250 |
|---|
Access
| Landing page | https://doi.org/10.1109/trustcom/bigdatase/icess.2017.250 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-26 05:38 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@inproceedings{givenwilson2017automated,
title = {An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT},
author = {Thomas Given-Wilson and Nisrine Jafri and Jean-Louis Lanet and Axel Legay},
year = {2017},
booktitle = {2017 IEEE Trustcom/BigDataSE/ICESS},
publisher = {IEEE},
pages = {293--300},
doi = {10.1109/trustcom/bigdatase/icess.2017.250},
}
This record lives at https://refs.drheap.org/givenwilson2017automated/ and will keep doing so.