Designing and proving an EMV-compliant payment protocol for mobile devices

Abstract : We devise a payment protocol that can be securely used on mobile devices, even infected by malicious applications. Our protocol only requires a light use of Secure Elements, which significantly simplify certification procedures and protocol maintenance. It is also fully compatible with the EMV SDA protocol and allows off-line payments for the users. We provide a formal model and full security proofs of our protocol using the TAMARIN prover.
Type de document :
Communication dans un congrès
2nd IEEE European Symposium on Security and Privacy (EuroSP'17), Apr 2017, Paris, France
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01408584
Contributeur : Véronique Cortier <>
Soumis le : lundi 5 décembre 2016 - 10:37:50
Dernière modification le : lundi 30 avril 2018 - 14:32:03
Document(s) archivé(s) le : mardi 21 mars 2017 - 05:28:59

Fichier

00_Papier.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01408584, version 1

Citation

Véronique Cortier, Alicia Filipiak, Saïd Gharout, Jacques Traoré. Designing and proving an EMV-compliant payment protocol for mobile devices. 2nd IEEE European Symposium on Security and Privacy (EuroSP'17), Apr 2017, Paris, France. 〈hal-01408584〉

Partager

Métriques

Consultations de la notice

722

Téléchargements de fichiers

438