Filtrer vos résultats
- 4
- 2
- 5
- 1
- 6
- 1
- 1
- 2
- 2
- 6
- 5
- 1
- 1
- 1
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Automatic generation of vulnerability test suite for the Java Card verifiere-smart 2011, Sep 2011, Sophia Antipolis, France
Communication dans un congrès
hal-00981822v1
|
|||
|
A Design by Contract Approach to Verify Access Control PoliciesIEEE 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 CardSAR-SSI, May 2011, La Rochelle, France. pp.1-7
Communication dans un congrès
hal-00981821v1
|
|||
VTG - Vulnerability Test Generator, a Plug-in for RodinWorkshop Deploy 2012, Feb 2012, Fontainebleau, France
Communication dans un congrès
hal-00981811v1
|
|||
|
Model-Based Robustness Testing in Event-B Using MutationSEFM 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 TestingiFM 2013: 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.223-237
Communication dans un congrès
hal-00981816v1
|