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
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⟩