Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Papers Year : 2021

Dates and versions

cea-03499614 , version 1 (21-12-2021)

Identifiers

  • HAL Id : cea-03499614 , version 1

Cite

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⟩
76 View
495 Download

Share

Gmail Mastodon Facebook X LinkedIn More