Towards More Secure EMV Purchase Transactions: A New Security Protocol Formally Analyzed by the Scyther Tool

Nour El Madhoun; Emmanuel Bertin; Mohamad Badra; Guy Pujolle

Journal Articles Annals of Telecommunications - annales des télécommunications Year : 2020

Towards More Secure EMV Purchase Transactions: A New Security Protocol Formally Analyzed by the Scyther Tool

(1) , (2) , (3) , (4)

1
2
3
4

Nour El Madhoun

Function : Author
PersonId : 6562
IdHAL : nour-el-madhoun
ORCID : 0000-0001-7742-7748
IdRef : 241991765

Institut Supérieur d'Electronique de Paris

Emmanuel Bertin

Function : Author
PersonId : 976697

Orange Labs [Paris]

Mohamad Badra

Function : Author
PersonId : 1148246
ORCID : 0000-0001-7051-5139
IdRef : 087445042

Zayed University

Guy Pujolle

Function : Author

Phare

Domains

Cryptography and Security [cs.CR]

Nour EL MADHOUN : Connect in order to contact the contributor

https://hal.science/hal-02871845

Submitted on : Wednesday, June 17, 2020-12:10:02 PM

Last modification on : Wednesday, October 30, 2024-1:33:26 PM

Dates and versions

Identifiers

HAL Id : hal-02871845 , version 1

Cite

Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle. Towards More Secure EMV Purchase Transactions: A New Security Protocol Formally Analyzed by the Scyther Tool. Annals of Telecommunications - annales des télécommunications, In press. ⟨hal-02871845⟩

Towards More Secure EMV Purchase Transactions: A New Security Protocol Formally Analyzed by the Scyther Tool

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share