Detecting Vulnerabilities in Java-Card Bytecode Verifiers using Model-Based Testing

Liste complète des métadonnées

https://hal-unilim.archives-ouvertes.fr/hal-00981816
Contributeur : Aymerick Savary <>
Soumis le : mardi 22 avril 2014 - 21:52:40
Dernière modification le : mardi 17 septembre 2019 - 11:06:08

Identifiants

  • HAL Id : hal-00981816, version 1

Collections

Citation

Aymerick Savary, Marc Frappier, Jean-Louis Lanet. Detecting Vulnerabilities in Java-Card Bytecode Verifiers using Model-Based Testing. iFM 2013: 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.223-237. ⟨hal-00981816⟩

Partager

Métriques

Consultations de la notice

175