Automatic generation of vulnerability test suite for the Java Card verifier

Aymerick Savary; Marc Frappier; Jean-Louis Lanet

Communication dans un congrès

Automatic generation of vulnerability test suite for the Java Card verifier

Aymerick Savary ¹ Marc Frappier ² Jean-Louis Lanet ¹

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

Domaine :

Informatique [cs] / Génie logiciel [cs.SE]

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

Automatic generation of vulnerability test suite for the Java Card verifier

Identifiants

Collections

Citation

Exporter

Métriques

49

Automatic generation of vulnerability test suite for the Java Card verifier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

49