Filter your results
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Analysis of CWA 14890-110th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.314-335, ⟨10.1007/978-3-642-27257-8_20⟩
Conference papers
hal-01596294v1
|
||
|
Verification of Mutual Authentication Protocol for MobInfoSec System14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.461-474, ⟨10.1007/978-3-319-24369-6_38⟩
Conference papers
hal-01444488v1
|