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

Guilhem Lacombe; David Feliot; Etienne Boespflug; Marie-Laure Potet

Conference Papers Year : 2021

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

(1, 2) , (3) , (1, 4) , (1, 4)

1
2
3
4

Guilhem Lacombe

Function : Author

Université Grenoble Alpes

Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information

David Feliot

Function : Author

Département Systèmes

Etienne Boespflug

Function : Author

Université Grenoble Alpes

VERIMAG

Marie-Laure Potet

Function : Author

Université Grenoble Alpes

VERIMAG

Keywords

fault injection robustness evaluation source code static analysis symbolic execution WooKey bootloader use-case

Domains

Computer science Software Engineering [cs.SE]

Fichier principal

fdep2021.pdf (354.71 Ko)

Origin : Files produced by the author(s)

Contributeur MAP CEA : Connect in order to contact the contributor

https://hal-cea.archives-ouvertes.fr/cea-03499614

Submitted on : Tuesday, December 21, 2021-3:00:05 PM

Last modification on : Friday, March 24, 2023-2:53:25 PM

Long-term archiving on: Wednesday, March 23, 2022-10:16:57 AM

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⟩

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

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share