{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T15:46:46Z","timestamp":1764604006415,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["PRIDE15\/10621687\/SPsquared"],"award-info":[{"award-number":["PRIDE15\/10621687\/SPsquared"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,15]]},"DOI":"10.1145\/3576915.3623109","type":"proceedings-article","created":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T12:35:13Z","timestamp":1700570113000},"page":"1392-1406","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Provably Unlinkable Smart Card-based Payments"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0409-5735","authenticated-orcid":false,"given":"Sergiu","family":"Bursuc","sequence":"first","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0162-1901","authenticated-orcid":false,"given":"Ross","family":"Horne","sequence":"additional","affiliation":[{"name":"University of Luxembourg & University of Strathclyde, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2818-4433","authenticated-orcid":false,"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9200-4601","authenticated-orcid":false,"given":"Semen","family":"Yurkov","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,21]]},"reference":[{"volume-title":"EMV Integrated Circuit Card Specifications for Payment Systems","year":"2021","key":"e_1_3_2_1_1_1","unstructured":"2011. EMV Integrated Circuit Card Specifications for Payment Systems. Books 1-4. https:\/\/www.emvco.com\/document-search\/ Accessed: 26-08-2021."},{"volume-title":"EMV ECC Key Establishment Protocols. RFC until 28th","year":"2013","key":"e_1_3_2_1_2_1","unstructured":"2012. EMV ECC Key Establishment Protocols. RFC until 28th January 2013. EMVCo LLC. http:\/\/www.emvco.com\/specifications.aspx\"id=243 Accessed: 01-04-2020."},{"key":"e_1_3_2_1_3_1","unstructured":"2014. EMV Next Generation. Next Generation Kernel System Architecture Overview."},{"key":"e_1_3_2_1_4_1","unstructured":"2017. Common Criteria for Information Technology Security Evaluation. Part 2: Security functional components. Version 3.1 Revision 5 CCMB-2017-04-002."},{"key":"e_1_3_2_1_5_1","unstructured":"2019. EMVCo Statement \" The Advancement of EMV Chip Specifications. https: \/\/www.emvco.com\/specifications\/ Accessed: 30-03-2023."},{"key":"e_1_3_2_1_6_1","unstructured":"2021. EMV Contactless Specifications for Payment Systems. Book A. https: \/\/www.emvco.com\/document-search\/ Accessed: 20-09-2021."},{"key":"e_1_3_2_1_7_1","unstructured":"2021. European Court of Human Rights admits RSF complaint against the BND's mass surveillance. https:\/\/rsf.org\/en\/news\/european-court-human-rights-admits-rsf-complaint-against-bnds-mass-surveillance Accessed: 25-01-2022."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. German police used a tracing app to scout crime witnesses. https:\/\/www.washingtonpost.com\/world\/2022\/01\/13\/german-covid-contact-tracing-app-luca\/ Accessed: 25-01-2022"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127586"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813662"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00037"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12510-2_15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0339"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.06.002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Sergiu Bursuc Ross Horne Sjouke Mauw and Semen Yurkov. 2023 a. Provably Unlinkable Smart Card-based Payments (Extended Version). https:\/\/arxiv.org\/abs\/2309.03128 Accessed: 07-09-2023.","DOI":"10.1145\/3576915.3623109"},{"key":"e_1_3_2_1_17_1","unstructured":"Sergiu Bursuc Ross Horne Sjouke Mauw and Semen Yurkov. 2023 b. ProVerif models of UTX. https:\/\/github.com\/utxprotocol\/proverif Accessed: 05-09-2023."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44987-6_7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF57540.2023.00036"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"volume-title":"Keep Your Enemies Close: Distance Bounding Against Smartcard Relay Attacks. In 16th USENIX Security Symposium (USENIX Security 07)","author":"Drimer Saar","key":"e_1_3_2_1_21_1","unstructured":"Saar Drimer and Steven J. Murdoch. 2007. Keep Your Enemies Close: Distance Bounding Against Smartcard Relay Attacks. In 16th USENIX Security Symposium (USENIX Security 07). USENIX Association."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2017.00050"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of 2013 European Conference on Smart Objects, Systems and Technologies (SmartSysTech). 1--8.","author":"Engelhardt Maximilian","year":"2013","unstructured":"Maximilian Engelhardt, Florian Pfeiffer, Klaus Finkenzeller, and Erwin Biebl. 2013. Extending ISO\/IEC 14443 Type A Eavesdropping Range using Higher Harmonics. In Proceedings of 2013 European Conference on Smart Objects, Systems and Technologies (SmartSysTech). 1--8."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16822-2_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24837-0_8"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF54842.2022.9919666"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2023.113842"},{"key":"e_1_3_2_1_28_1","unstructured":"Apple Inc. 2023. Apple Pay. https:\/\/www.apple.com\/apple-pay\/ Accessed: 31-03-2023."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2018.8441334"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.33"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISEMC.2008.4652133"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.00026"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45682-1_31"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37282-7_5"},{"key":"e_1_3_2_1_36_1","unstructured":"Semen Yurkov. 2023. Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity. PhD thesis. University of Luxembourg. http:\/\/hdl.handle.net\/10993\/55510"}],"event":{"name":"CCS '23: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Copenhagen Denmark","acronym":"CCS '23"},"container-title":["Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3623109","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576915.3623109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T01:43:26Z","timestamp":1755740606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3623109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,15]]},"references-count":36,"alternative-id":["10.1145\/3576915.3623109","10.1145\/3576915"],"URL":"https:\/\/doi.org\/10.1145\/3576915.3623109","relation":{},"subject":[],"published":{"date-parts":[[2023,11,15]]},"assertion":[{"value":"2023-11-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}