Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis - Université Grenoble Alpes Accéder directement au contenu
Communication Dans Un Congrès Année :

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

Domaines

Micro et nanotechnologies/Microélectronique

Vincent Beroulle  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 1 janvier 2020-19:15:04

Dernière modification le : lundi 13 mars 2023-10:56:17

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CEA UGA LCIS DRT CEA-DRF LETI CEA-GRE
106 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More