Filtrer vos résultats
- 6
- 5
- 1
- 6
- 1
- 2
- 1
- 2
- 5
- 1
- 6
- 6
- 4
- 2
- 2
- 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
|
|||
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
|
|||
|
Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cardsInternational 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 TestingiFM 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 à puceColloque TI 2013, Apr 2013, Drummondville Québec, Canada
Communication dans un congrès
hal-00981810v1
|