Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis - Université Grenoble Alpes Access content directly
Conference Papers Year :

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

Domains

Micro and nanotechnologies/Microelectronics

Vincent Beroulle  : Connect in order to contact the contributor

https://hal.univ-grenoble-alpes.fr/hal-02426133

Submitted on : Wednesday, January 1, 2020-7:15:04 PM

Last modification on : Monday, March 13, 2023-10:56:17 AM

Not file

Dates and versions

hal-02426133 , version 1 (01-01-2020)

Identifiers

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

CEA UGA LCIS DRT CEA-DRF LETI CEA-GRE
102 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More