Conference Papers
Year :
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
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