Crossmark

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities

Published Online: 2023-01-18

Published Print: 2024-04

Authors

Lacombe, Guilhem

Feliot, David

Boespflug, Etienne

Potet, Marie-Laure
Funding

Funding for this research was provided by:

Université Grenoble Alpes
License Information

Text and Data Mining valid from 2023-01-18

Version of Record valid from 2023-01-18
More Information

Article History

Received: 27 May 2022

Accepted: 5 January 2023

First Online: 18 January 2023

Document is current