Skip to Main content Skip to Navigation
Conference papers

Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities

Complete list of metadata

https://hal-cea.archives-ouvertes.fr/cea-03499614
Contributor : Contributeur Map Cea Connect in order to contact the contributor
Submitted on : Tuesday, December 21, 2021 - 3:00:05 PM
Last modification on : Tuesday, January 4, 2022 - 5:58:13 AM

File

fdep2021.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-03499614, version 1

Collections

CEA | DRT | LETI | IMAG | VERIMAG | ANR | CNRS | UGA | CEA-GRE

Citation

Guilhem Lacombe, David Feliot, Etienne Boespflug, Marie-Laure Potet. Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities. PROOFS WORKSHOP (SECURITY PROOFS FOR EMBEDDED SYSTEMS), Sep 2021, Beijing, China. ⟨cea-03499614⟩

Share

Metrics

Les métriques sont temporairement indisponibles