Recherche - Université de Limoges Accéder directement au contenu

Filtrer vos résultats

6 Résultats
Auteur : personID (entier) : 956948

Automatic generation of vulnerability test suite for the Java Card verifier

Aymerick Savary , Marc Frappier , Jean-Louis Lanet
e-smart 2011, Sep 2011, Sophia Antipolis, France
Communication dans un congrès hal-00981822v1

Génération de tests de vulnérabilité pour vérifieur du typage Java Card

Aymerick Savary , Marc Frappier , Jean-Louis Lanet
SAR-SSI, May 2011, La Rochelle, France. pp.1-7
Communication dans un congrès hal-00981821v1

VTG - Vulnerability Test Generator, a Plug-in for Rodin

Aymerick Savary , Jean-Louis Lanet , Marc Frappier , Tiana Razafindralambo , Josselin Dolhen
Workshop Deploy 2012, Feb 2012, Fontainebleau, France
Communication dans un congrès hal-00981811v1

Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cards

Noura Ouerdi , Mostafa Azizi , M'Hammed Ziane , Jean-Louis Lanet , Aymerick Savary
International Journal of Security and Its Applications, 2014, 8 (1), pp.373-388. ⟨10.14257/ijsia.2014.8.1.35⟩
Article dans une revue hal-00981692v1

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

Aymerick Savary , Marc Frappier , Jean-Louis Lanet
iFM 2013: 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.223-237
Communication dans un congrès hal-00981816v1

Piratons formellement des cartes à puce

Aymerick Savary
Colloque TI 2013, Apr 2013, Drummondville Québec, Canada
Communication dans un congrès hal-00981810v1