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

Filtrer vos résultats

6 Résultats
Structure : Identifiant HAL de la structure : 35542

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
Image document

A Design by Contract Approach to Verify Access Control Policies

Hakim Belhaouari , Pierre Konopacki , Régine Laleau , Marc Frappier
IEEE Computer Society, 2012, pp.263-272. ⟨10.1109/ICECCS.2012.4⟩
Article dans une revue hal-00724267v1

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
Image document

Model-Based Robustness Testing in Event-B Using Mutation

Aymerick Savary , Marc Frappier , Michael Leuschel , Jean-Louis Lanet
SEFM 2015 - 13th International Conference Software Engineering and Formal Methods, Jan 2015, York, United Kingdom. pp.132-147, ⟨10.1007/978-3-319-22969-0_10⟩
Communication dans un congrès hal-01250594v1

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