Designing and proving an EMV-compliant payment protocol for mobile devices - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

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.
Fichier principal
Vignette du fichier
00_Papier.pdf (306.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01408584 , version 1 (05-12-2016)

Identifiers

  • HAL Id : hal-01408584 , version 1

Cite

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⟩
330 View
956 Download

Share

Gmail Facebook X LinkedIn More