{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T05:58:17Z","timestamp":1769061497142,"version":"3.49.0"},"reference-count":57,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/sp46214.2022.9833642","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T19:28:05Z","timestamp":1658950085000},"page":"1737-1756","source":"Crossref","is-referenced-by-count":13,"title":["Practical EMV Relay Protection"],"prefix":"10.1109","author":[{"given":"Andreea-Ina","family":"Radu","sequence":"first","affiliation":[{"name":"University of Birmingham,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Chothia","sequence":"additional","affiliation":[{"name":"University of Birmingham,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher J.P.","family":"Newton","sequence":"additional","affiliation":[{"name":"University of Surrey,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioana","family":"Boureanu","sequence":"additional","affiliation":[{"name":"University of Surrey,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqun","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Surrey,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Book C-3 kernel 3 specification v2.6. EMV contactless specifications for payment system","year":"2016"},{"key":"ref57","article-title":"EMV Contactless Specifications for Payment Systems; Book D; EMV Contactless Communication Protocol Specification","year":"2016"},{"key":"ref12","article-title":"Visa merchant data standards manual","year":"2019"},{"key":"ref56","article-title":"7816-4: 2020 – Identification cards – Integrated circuit cards Part 4: Organization, security and commands for interchange","year":"2020","journal-title":"International Standards Organization for Standardization"},{"key":"ref15","article-title":"Visa contactlesspayment specification","year":"0"},{"key":"ref14","article-title":"EMV payment tokenisation specification – technical framework v2.2","year":"2020"},{"key":"ref53","article-title":"Symbolic analysis of terrorist fraud resistance","author":"debant","year":"2019","journal-title":"European Symposium on Research in Computer Security (ESORICS)"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62077-6_11"},{"key":"ref11","first-page":"963","article-title":"When organized crime applies academic results - a forensic analysis of an in-card listening device","volume":"2015","author":"ferradi","year":"2015","journal-title":"IACR Cryptology ePrint Archive"},{"key":"ref55","article-title":"14443-4: 2018 – Identification cards – Contactless integrated circuit cards – Proximity cards – Part 4: Transmission protocol","year":"2018","journal-title":"International Standards Organization for Standardization"},{"key":"ref10","article-title":"Visa mobile contactless payment specification","year":"0"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345651"},{"key":"ref17","article-title":"Visa proposal for level 1 protocol parameter binding against relay attack, version 0.1","year":"2017"},{"key":"ref16","article-title":"Book 2: Security and key management","year":"2011"},{"key":"ref19","article-title":"Relay attacks on passive keyless entry and start systems in modern cars","author":"francillon","year":"2010","journal-title":"Cryptology ePrint Archive"},{"key":"ref18","article-title":"The tamarin prover for the symbolic analysis of security protocols","author":"meier","year":"2013","journal-title":"Computer Aided Verification - 25th International Conference CAV"},{"key":"ref51","article-title":"Towards the automated verification of cyber-physical security protocols: Bounding the number of timed intruders","author":"nigam","year":"2016","journal-title":"European Symposium on Research in Computer Security (ESORICS)"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2019599.2019601"},{"key":"ref46","article-title":"Proximity check for communication devices","author":"janssens","year":"2015"},{"key":"ref45","article-title":"Decoupling of measuring the response time of a transponder and its authentication","author":"thueringer","year":"2008"},{"key":"ref48","article-title":"Formal analysis of the emv protocol suite","author":"de ruiter","year":"2011","journal-title":"Theory of Security and Applications - Joint Workshop TOSCA"},{"key":"ref47","article-title":"Modelling and analysis of a hierarchy of distance bounding attacks","author":"chothia","year":"2018","journal-title":"Usenix Security"},{"key":"ref42","first-page":"344","article-title":"Distance-bounding protocols","author":"brands","year":"1993","journal-title":"Advances in Cryptology – EUROCRYPT"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660312"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417235"},{"key":"ref43","article-title":"Security of Distance-Bounding: A Survey","volume":"4","author":"avoine","year":"2017","journal-title":"CSUR"},{"key":"ref49","article-title":"Proving physical proximity using symbolic models","author":"debant","year":"2018"},{"key":"ref8","article-title":"Card brand mixup attack: Bypassing the PIN in non-visa cards by using them for visa transactions","author":"basin","year":"2021","journal-title":"30th USENIX security symposium"},{"key":"ref7","article-title":"First contact: New vulnerabilities in contactless payments","author":"galloway","year":"2019","journal-title":"Black Hat Europe'06"},{"key":"ref9","article-title":"Practical EMV relay protection: Artefacts","year":"0"},{"key":"ref4","article-title":"Man in the NFC","volume":"25","author":"shan","year":"2017","journal-title":"DefCon"},{"key":"ref3","article-title":"Binding Cryptogram with Protocol Characteristics","author":"yuexi","year":"2019"},{"key":"ref6","article-title":"Lab 401 proxmark 3 rdv 4","year":"0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00001"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.33"},{"key":"ref35","article-title":"Book 4: Cardholder, attendant, and acquirer interface requirements","year":"2017"},{"key":"ref34","article-title":"Contactless specifications for payment systems, book A, version 2.6 – architecture and general requirements","year":"2016"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2012.6208760"},{"key":"ref36","article-title":"Evaluation Criteria for True (Physical) Random Number Generators Used in Cryptographic Applications","author":"schindler","year":"2002","journal-title":"Workshop on Cryptographic Hardware and Embedded Systems"},{"key":"ref31","article-title":"Undecidability of Bounded Security Protocols","author":"durgin","year":"1999","journal-title":"Workshop on Formal Methods and Security Protocols (FMSP’99)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref33","article-title":"Host-based card emulation overview","year":"2019"},{"key":"ref32","article-title":"A 2018 practical guide to hacking nfc\/rfid","author":"jasek","year":"2018"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00037"},{"key":"ref1","article-title":"Book C-2 kernel 2 specification v2.7. EMV contactless specifications for payment system","year":"2018"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.20533\/ijrfidsc.2046.3715.2013.0012"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/WIOPT.2007.4480051"},{"key":"ref24","article-title":"Common vulnerability scoring system version 3.1: Specification document","year":"2019"},{"key":"ref23","article-title":"14443-3: 2018 – Identification cards – Contactless integrated circuit cards – Proximity cards – Part 3: Initialization and anticollision","year":"2018","journal-title":"International Standards Organization for Standardization"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47854-7_11"},{"key":"ref25","article-title":"Common vulnerability scoring system version 3.1 calculator","year":"2019"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2019.23109","article-title":"UWB with pulse reordering: Securing ranging against relay and physical-layer attacks","author":"singh","year":"2019","journal-title":"the Symposium on Network and Distributed System Security NDSS-95"},{"key":"ref22","article-title":"Samsung faq","year":"2020"},{"key":"ref21","article-title":"Where you can travel on public transport with apple pay","year":"2020"},{"key":"ref28","article-title":"Book 3: Application specification","year":"2011"},{"key":"ref27","article-title":"Merchant category codes","year":"2015"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-28641-4_2","article-title":"Security protocol verification: Symbolic and computational models","author":"blanchet","year":"2012","journal-title":"Principles of Security and Trust"}],"event":{"name":"2022 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2022,5,22]]},"end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833550\/9833558\/09833642.pdf?arnumber=9833642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:22:26Z","timestamp":1699485746000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833642\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1109\/sp46214.2022.9833642","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}