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]

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 : mardi 17 septembre 2019 - 11:06:08

Automatic generation of vulnerability test suite for the Java Card verifier

Identifiants

Collections

Citation

Exporter

Métriques

111

Automatic generation of vulnerability test suite for the Java Card verifier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

111