Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis - Université Grenoble Alpes Access content directly
Conference Papers Year :
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⟩
102 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More