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

Automatic generation of vulnerability test suite for the Java Card verifier

Aymerick Savary 1 Marc Frappier 2 Jean-Louis Lanet 1 
1 DMI
XLIM - XLIM
2 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
UdeS - Département d'informatique [Sherbrooke]
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-unilim.archives-ouvertes.fr/hal-00981822
Contributeur : Aymerick Savary Connectez-vous pour contacter le contributeur
Soumis le : mardi 22 avril 2014 - 22:24:04
Dernière modification le : mercredi 20 octobre 2021 - 01:31:17

Identifiants

  • HAL Id : hal-00981822, version 1

Collections

Citation

Aymerick Savary, Marc Frappier, Jean-Louis Lanet. Automatic generation of vulnerability test suite for the Java Card verifier. e-smart 2011, Sep 2011, Sophia Antipolis, France. ⟨hal-00981822⟩

Partager

Métriques

Consultations de la notice

49