{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:53:48Z","timestamp":1783007628325,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T00:00:00Z","timestamp":1572998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["AFR-PhD-10188265 and C15-IS-10428112"],"award-info":[{"award-number":["AFR-PhD-10188265 and C15-IS-10428112"]}],"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":[[2019,11,6]]},"DOI":"10.1145\/3319535.3345651","type":"proceedings-article","created":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T13:08:32Z","timestamp":1573132112000},"page":"941-958","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Post-Collusion Security and Distance Bounding"],"prefix":"10.1145","author":[{"given":"Sjouke","family":"Mauw","sequence":"first","affiliation":[{"name":"University of Luxembourg & SnT, Esch-sur-Alzette, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zach","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"Toro-Pozo","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolando","family":"Trujillo-Rasua","sequence":"additional","affiliation":[{"name":"School of Information Technology, Deakin University, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,11,6]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-009-9040-7"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3264628"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1971859.1971864"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053000"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1998412.1998437"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2015.06.007"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04474-8_21"},{"key":"e_1_3_2_2_8_1","volume-title":"22nd International Conference, TPHOLs 2009, Munich, Germany, August 17--20, 2009. Proceedings. 1--22","author":"Basin David A.","year":"2009"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658996"},{"key":"e_1_3_2_2_10_1","volume-title":"15th European Symposium on Research in Computer Security, Athens, Greece, September 20--22, 2010. Proceedings. 340--356","author":"David"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"e_1_3_2_2_12_1","volume-title":"Modeling Human Errors in Security Protocols. In IEEE 29th Computer Security Foundations Symposium, CSF 2016","author":"Basin David A.","year":"2016"},{"key":"e_1_3_2_2_13_1","volume-title":"Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11--15, 1990, Proceedings. 169--177","author":"Beth Thomas","year":"1990"},{"key":"e_1_3_2_2_14_1","volume-title":"FSE 2013","author":"Boureanu Ioana","year":"2013"},{"key":"e_1_3_2_2_15_1","volume-title":"Advances in Cryptology - EUROCRYPT '93, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23--27, 1993, Proceedings. 344--359","author":"Brands Stefan","year":"1993"},{"key":"e_1_3_2_2_16_1","volume-title":"FPS 2015","author":"Brelurut Agn\u00e8","year":"2015"},{"key":"e_1_3_2_2_17_1","volume-title":"IFIP TC11 20th International Conference on Information Security (SEC 2005","author":"Bussard Laurent","year":"2005"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/301250.301313"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/986858.986862"},{"key":"e_1_3_2_2_20_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Chothia Tom","year":"2018"},{"key":"e_1_3_2_2_21_1","volume-title":"FC 2015, San Juan, Puerto Rico, January 26--30","author":"Chothia Tom","year":"2015"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243747"},{"key":"e_1_3_2_2_23_1","volume-title":"On Post-compromise Security. In IEEE 29th Computer Security Foundations Symposium, CSF 2016","author":"Cohn-Gordon Katriel","year":"2016"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017","author":"Cremers Cas","year":"2017"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"crossref","volume-title":"Operational Semantics and Verification of Security Protocols","author":"Cremers Cas","DOI":"10.1007\/978-3-540-78636-8"},{"key":"e_1_3_2_2_26_1","volume-title":"Distance Hijacking Attacks on Distance Bounding Protocols. In IEEE Symposium on Security and Privacy, S&P 2012","author":"Cremers Cas J. F.","year":"2012"},{"key":"e_1_3_2_2_27_1","volume-title":"38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018","author":"Debant Alexandre","year":"2018"},{"key":"e_1_3_2_2_28_1","volume-title":"SECURICOM'88","author":"Desmedt Yvo","year":"1988"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646752.704723"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_2_31_1","unstructured":"EMVCo. 2018. EMV Contactless Specifications for Payment Systems Book C-2 Kernel 2 Specification Version 2.7 .  EMVCo. 2018. EMV Contactless Specifications for Payment Systems Book C-2 Kernel 2 Specification Version 2.7 ."},{"key":"e_1_3_2_2_32_1","unstructured":"EMVCo. 2018. EMV Contactless Specifications for Payment Systems Book C-3 Kernel 3 Specification Version 2.7 .  EMVCo. 2018. EMV Contactless Specifications for Payment Systems Book C-3 Kernel 3 Specification Version 2.7 ."},{"key":"e_1_3_2_2_33_1","volume-title":"Proceedings of the 24th Annual ACM Symposium on Theory of Computing, May 4--6","author":"Matthew","year":"1992"},{"key":"e_1_3_2_2_34_1","volume-title":"An RFID Distance Bounding Protocol. In First International Conference on Security and Privacy for Emerging Areas in Communications Networks, SecureComm 2005","author":"Gerhard","year":"2005"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/259380.259412"},{"key":"e_1_3_2_2_36_1","volume-title":"8th International Conference, CANS 2009, Kanazawa, Japan, December 12--14, 2009. Proceedings. 119--133","author":"Kim Chong Hee","year":"2009"},{"key":"e_1_3_2_2_37_1","volume-title":"11th International Conference","author":"Kim Chong Hee","year":"2008"},{"key":"e_1_3_2_2_38_1","volume-title":"Proceedings. 546--566","author":"Krawczyk Hugo","year":"2005"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/WPNC.2010.5653801"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75670-5_1"},{"key":"e_1_3_2_2_41_1","volume-title":"9th International Conference on Theory and Practice of Public-Key Cryptography","author":"Kristin","year":"2006"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00144-2"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00001"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.19"},{"key":"e_1_3_2_2_46_1","volume-title":"Syverson","author":"Meadows Catherine A.","year":"2007"},{"key":"e_1_3_2_2_47_1","volume-title":"CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings. 696--701","author":"Meier Simon"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1455665.1455675"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/RFID.2010.5467258"},{"key":"e_1_3_2_2_51_1","volume-title":"Juan M. Est\u00e9vez-Tapiador, and Jan C. A. van der Lubbe.","author":"Peris-Lopez Pedro","year":"2009"},{"key":"e_1_3_2_2_52_1","volume-title":"Realization of RF Distance Bounding. In 19th USENIX Security Symposium","author":"Rasmussen Kasper Bonne","year":"2010"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229285.1229314"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.6"},{"key":"e_1_3_2_2_55_1","volume-title":"Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. In 25th IEEE Computer Security Foundations Symposium, CSF 2012","author":"Schmidt Benedikt","year":"2012"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359176"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA464936"},{"key":"e_1_3_2_2_58_1","volume-title":"Bruce Murray, Heike Neumann, Paul Hubmer, and Susanne Stern.","author":"Thueringer Peter","year":"2011"},{"key":"e_1_3_2_2_59_1","volume-title":"Advances in Cryptology - CRYPTO '86, Santa Barbara, California, USA, 1986, Proceedings. 261--265","author":"Tompa Martin","year":"1986"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926325.1926352"}],"event":{"name":"CCS '19: 2019 ACM SIGSAC Conference on Computer and Communications Security","location":"London United Kingdom","acronym":"CCS '19","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3345651","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319535.3345651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:24:01Z","timestamp":1750202641000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3345651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,6]]},"references-count":60,"alternative-id":["10.1145\/3319535.3345651","10.1145\/3319535"],"URL":"https:\/\/doi.org\/10.1145\/3319535.3345651","relation":{},"subject":[],"published":{"date-parts":[[2019,11,6]]},"assertion":[{"value":"2019-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}