Communication Dans Un Congrès
Année : 2019
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 : mardi 3 septembre 2024-11:16:05
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⟩
115
Consultations
0
Téléchargements