Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-02426133
Contributeur : Vincent Beroulle <>
Soumis le : mercredi 1 janvier 2020 - 19:15:04
Dernière modification le : vendredi 17 juillet 2020 - 14:46:31

Identifiants

Collections

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

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⟩

Partager

Métriques

Consultations de la notice

136