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 <>
Soumis le : mardi 22 avril 2014 - 22:24:04
Dernière modification le : mercredi 10 février 2021 - 12:30:02

Automatic generation of vulnerability test suite for the Java Card verifier

Identifiants

Collections

Citation

Exporter

Métriques

116

Automatic generation of vulnerability test suite for the Java Card verifier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

116