{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T16:16:17Z","timestamp":1784736977627,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["No 714955-POPSTAR"],"award-info":[{"award-number":["No 714955-POPSTAR"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NCSC","award":["Timetrust"],"award-info":[{"award-number":["Timetrust"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,30]]},"DOI":"10.1145\/3372297.3417235","type":"proceedings-article","created":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T16:20:42Z","timestamp":1614874842000},"page":"879-898","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Security Analysis and Implementation of Relay-Resistant Contactless Payments"],"prefix":"10.1145","author":[{"given":"Ioana","family":"Boureanu","sequence":"first","affiliation":[{"name":"University of Surrey, Guildford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom","family":"Chothia","sequence":"additional","affiliation":[{"name":"University of Birmingham, Birmingham, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Debant","sequence":"additional","affiliation":[{"name":"University of Rennes, CNRS, IRISA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phanie","family":"Delaune","sequence":"additional","affiliation":[{"name":"University of Rennes, CNRS, IRISA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proc. 28th Symposium on Principles of Programming Languages (POPL'01)","author":"Abadi M.","unstructured":"M. Abadi and C. Fournet . 2001. Mobile Values, New Names, and Secure Communication . In Proc. 28th Symposium on Principles of Programming Languages (POPL'01) . ACM Press, 104--115. M. Abadi and C. Fournet. 2001. Mobile Values, New Names, and Secure Communication. In Proc. 28th Symposium on Principles of Programming Languages (POPL'01). ACM Press, 104--115."},{"key":"e_1_3_2_2_2_1","volume-title":"Theorem Proving in Higher Order Logics","author":"Basin David","unstructured":"David Basin , Srdjan Capkun , Patrick Schaller , and Benedikt Schmidt . 2009. Let's Get Physical: Models and Methods for Real-World Security Protocols . In Theorem Proving in Higher Order Logics . Springer Berlin Heidelberg , 1--22. David Basin, Srdjan Capkun, Patrick Schaller, and Benedikt Schmidt. 2009. Let's Get Physical: Models and Methods for Real-World Security Protocols. In Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 1--22."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000004"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.7"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet and Ben Smyth. 2016. Automated reasoning for equivalences in the applied pi calculus with barriers. Research report RR-8906. Inria. Available at https:\/\/hal.inria.fr\/hal-01306440.  Bruno Blanchet and Ben Smyth. 2016. Automated reasoning for equivalences in the applied pi calculus with barriers. Research report RR-8906. Inria. Available at https:\/\/hal.inria.fr\/hal-01306440.","DOI":"10.1109\/CSF.2016.29"},{"key":"e_1_3_2_2_6_1","volume-title":"CNRS, IRISA, France","author":"Boureanu Ioana","unstructured":"Ioana Boureanu , Tom Chothia , Alexandre Debant , and St\u00e9phanie Delaune . 2020. Security Analysis and Implementation of Relay-Resistant Contactless Payments. Research Report. Univ Rennes , CNRS, IRISA, France ; University of Surrey ; University of Birmingham. https :\/\/hal.inria.fr\/hal-02917076 Ioana Boureanu, Tom Chothia, Alexandre Debant, and St\u00e9phanie Delaune. 2020. Security Analysis and Implementation of Relay-Resistant Contactless Payments. Research Report. Univ Rennes, CNRS, IRISA, France ; University of Surrey ; University of Birmingham. https:\/\/hal.inria.fr\/hal-02917076"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_14"},{"key":"e_1_3_2_2_8_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Chothia Tom","year":"2018","unstructured":"Tom Chothia , Joeri de Ruiter , and Ben Smyth . 2018 . Modelling and Analysis of a Hierarchy of Distance Bounding Attacks . In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD, 1563--1580. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/chothia Tom Chothia, Joeri de Ruiter, and Ben Smyth. 2018. Modelling and Analysis of a Hierarchy of Distance Bounding Attacks. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 1563--1580. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/chothia"},{"key":"e_1_3_2_2_9_1","volume-title":"Proc. 19th International Conference on Financial Cryptography and Data Security (FC'15)","volume":"8975","author":"Chothia Tom","unstructured":"Tom Chothia , Flavio D. Garcia , Joeri de Ruiter , Jordi van den Breekel, and Matthew Thompson. 2015. Relay Cost Bounding for Contactless EMV Payments . In Proc. 19th International Conference on Financial Cryptography and Data Security (FC'15) (Lecture Notes in Computer Science) , Vol. 8975 . Tom Chothia, Flavio D. Garcia, Joeri de Ruiter, Jordi van den Breekel, and Matthew Thompson. 2015. Relay Cost Bounding for Contactless EMV Payments. In Proc. 19th International Conference on Financial Cryptography and Data Security (FC'15) (Lecture Notes in Computer Science), Vol. 8975."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00032"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.17"},{"key":"e_1_3_2_2_12_1","volume-title":"38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018","author":"Debant Alexandre","year":"2018","unstructured":"Alexandre Debant , St\u00e9 phanie Delaune , and Cyrille Wiedling . 2018 . A Symbolic Framework to Analyse Physical Proximity in Security Protocols . In 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018 , December 11 --13 , 2018, Ahmedabad, India. 29:1--29:20. https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2018.29 10.4230\/LIPIcs.FSTTCS.2018.29 Alexandre Debant, St\u00e9 phanie Delaune, and Cyrille Wiedling. 2018. A Symbolic Framework to Analyse Physical Proximity in Security Protocols. In 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11--13, 2018, Ahmedabad, India. 29:1--29:20. https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2018.29"},{"key":"e_1_3_2_2_13_1","unstructured":"EMVCo. 2018. Book C-2 Kernel 2 Specification v2.7. EMV Contactless Specifications for Payment System.  EMVCo. 2018. Book C-2 Kernel 2 Specification v2.7. EMV Contactless Specifications for Payment System."},{"key":"e_1_3_2_2_14_1","first-page":"332","article-title":"Relay Attacks on Passive Keyless Entry and Start Systems in Modern Cars","volume":"2010","author":"Francillon Aur\u00c3\u00a9lien","year":"2010","unstructured":"Aur\u00c3\u00a9lien Francillon , Boris Danev , and Srdjan Capkun . 2010 . Relay Attacks on Passive Keyless Entry and Start Systems in Modern Cars . IACR Cryptology ePrint Archive , Vol. 2010 (2010), 332 . http:\/\/dblp.uni-trier.de\/db\/journals\/iacr\/iacr2010.html#FrancillonDC10 Aur\u00c3\u00a9lien Francillon, Boris Danev, and Srdjan Capkun. 2010. Relay Attacks on Passive Keyless Entry and Start Systems in Modern Cars. IACR Cryptology ePrint Archive, Vol. 2010 (2010), 332. http:\/\/dblp.uni-trier.de\/db\/journals\/iacr\/iacr2010.html#FrancillonDC10","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_2_15_1","volume-title":"Practical Relay Attack on Contactless Transactions by Using NFC Mobile Phones. IACR Cryptology ePrint Archive","author":"Francis Lishoy","year":"2011","unstructured":"Lishoy Francis , Gerhard Hancke , Keith Mayes , and Konstantinos Markantonakis . 2011. Practical Relay Attack on Contactless Transactions by Using NFC Mobile Phones. IACR Cryptology ePrint Archive , Vol. 2011 (01 2011 ), 618. https:\/\/doi.org\/10.3233\/978--1--61499--143--4--21 10.3233\/978--1--61499--143--4--21 Lishoy Francis, Gerhard Hancke, Keith Mayes, and Konstantinos Markantonakis. 2011. Practical Relay Attack on Contactless Transactions by Using NFC Mobile Phones. IACR Cryptology ePrint Archive, Vol. 2011 (01 2011), 618. https:\/\/doi.org\/10.3233\/978--1--61499--143--4--21"},{"key":"e_1_3_2_2_17_1","volume-title":"Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. In IEEE European Symposium on Security and Privacy, EuroS&P 2019","author":"Hirschi Lucca","year":"2019","unstructured":"Lucca Hirschi and Cas Cremers . 2019 . Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. In IEEE European Symposium on Security and Privacy, EuroS&P 2019 , Stockholm, Sweden, June 17--19 , 2019. 635--650. Lucca Hirschi and Cas Cremers. 2019. Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. In IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17--19, 2019. 635--650."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00001"}],"event":{"name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","location":"Virtual Event USA","acronym":"CCS '20","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417235","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3417235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:25Z","timestamp":1750199605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":17,"alternative-id":["10.1145\/3372297.3417235","10.1145\/3372297"],"URL":"https:\/\/doi.org\/10.1145\/3372297.3417235","relation":{},"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"2020-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}