Skip to Main content Skip to Navigation
Conference papers

Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis

Johan Laurent 1 Christophe Deleuze 1 Vincent Beroulle 1 Florian Pebay-Peyroula 2 
1 LCIS - Laboratoire de Conception et d'Intégration des Systèmes
2 CEA-LETI - Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
Document type :
Conference papers
Complete list of metadata
https://hal.univ-grenoble-alpes.fr/hal-02426133
Contributor : Vincent Beroulle Connect in order to contact the contributor
Submitted on : Wednesday, January 1, 2020 - 7:15:04 PM
Last modification on : Saturday, March 26, 2022 - 3:26:33 AM

Identifiers

Collections

CEA | UGA | LCIS | DRT | CEA-DRF | LETI | CEA-GRE

Citation

Johan Laurent, Christophe Deleuze, Vincent Beroulle, Florian Pebay-Peyroula. Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis. 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), Aug 2019, Atlanta, United States. pp.33-40, ⟨10.1109/FDTC.2019.00013⟩. ⟨hal-02426133⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

91