Skip to Main content Skip to Navigation
Conference papers

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

Véronique Cortier 1 Alicia Filipiak 1, 2 Saïd Gharout 2 Jacques Traoré 3
1 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 Orange Labs [Issy les Moulineaux]
3 Orange Labs [Caen]
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
https://hal.inria.fr/hal-01408584
Contributor : Véronique Cortier <>
Submitted on : Monday, December 5, 2016 - 10:37:50 AM
Last modification on : Thursday, March 5, 2020 - 4:56:19 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 5:28:59 AM

File

Vignette du document
00_Papier.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01408584, version 1

Collections

CNRS | INRIA | LORIA | LORIA-FM | UNIV-LORRAINE

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

825

Files downloads

975

 

Contact                    Legal Notice                    Personal Data