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 : Sunday, June 26, 2022 - 3:28:41 AM
Long-term archiving on: : Wednesday, March 23, 2022 - 10:16:57 AM

File

fdep2021.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-03499614, version 1

Collections

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

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

Record views

50

Files downloads

145