{"id":"https://openalex.org/W2988869405","doi":"https://doi.org/10.1145/3319535.3345651","title":"Post-Collusion Security and Distance Bounding","display_name":"Post-Collusion Security and Distance Bounding","publication_year":2019,"publication_date":"2019-11-06","ids":{"openalex":"https://openalex.org/W2988869405","doi":"https://doi.org/10.1145/3319535.3345651","mag":"2988869405"},"language":"en","primary_location":{"id":"doi:10.1145/3319535.3345651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3319535.3345651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/conference_contribution/Post-collusion_security_and_distance_bounding/20723047","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024602195","display_name":"Sjouke Mauw","orcid":"https://orcid.org/0000-0002-2818-4433"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Sjouke Mauw","raw_affiliation_strings":["University of Luxembourg & SnT, Esch-sur-Alzette, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg & SnT, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034596125","display_name":"Zach Smith","orcid":null},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Zach Smith","raw_affiliation_strings":["University of Luxembourg, Esch-sur-Alzette, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108697064","display_name":"Jorge Toro-Pozo","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jorge Toro-Pozo","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007075609","display_name":"Rolando Trujillo-Ras\u00faa","orcid":"https://orcid.org/0000-0002-8714-4626"},"institutions":[{"id":"https://openalex.org/I149704539","display_name":"Deakin University","ror":"https://ror.org/02czsnj07","country_code":"AU","type":"education","lineage":["https://openalex.org/I149704539"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Rolando Trujillo-Rasua","raw_affiliation_strings":["School of Information Technology, Deakin University, Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Technology, Deakin University, Melbourne, Australia","institution_ids":["https://openalex.org/I149704539"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"941","last_page":"958"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/collusion","display_name":"Collusion","score":0.9226086139678955},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.7397878766059875},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.7174393534660339},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7024768590927124},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.6760091781616211},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.6469876766204834},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5992577075958252},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.5316116809844971},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11289656162261963},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.10852408409118652}],"concepts":[{"id":"https://openalex.org/C2781198186","wikidata":"https://www.wikidata.org/wiki/Q701521","display_name":"Collusion","level":2,"score":0.9226086139678955},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.7397878766059875},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.7174393534660339},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7024768590927124},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.6760091781616211},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6469876766204834},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5992577075958252},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.5316116809844971},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11289656162261963},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.10852408409118652},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C40700","wikidata":"https://www.wikidata.org/wiki/Q1411783","display_name":"Industrial organization","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3319535.3345651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3319535.3345651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:dro.deakin.edu.au:DU:30133351","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401102","display_name":"Own your potential (DEAKIN)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149704539","host_organization_name":"Deakin University","host_organization_lineage":["https://openalex.org/I149704539"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"},{"id":"pmh:oai:figshare.com:article/20723047","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/Post-collusion_security_and_distance_bounding/20723047","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference contribution"},{"id":"pmh:oai:orbilu.uni.lu:10993/41607","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/41607","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Post-collusion security and distance bounding (2019-11-11); 26th ACM Conference on Computer and Communications Security, London, United Kingdom [GB], from 11-11-2019 to 15-11-2019","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/20723047","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/Post-collusion_security_and_distance_bounding/20723047","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference contribution"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3586244735","display_name":null,"funder_award_id":"AFR-PhD-10188265 and C15-IS-10428112","funder_id":"https://openalex.org/F4320321038","funder_display_name":"Fonds National de la Recherche Luxembourg"}],"funders":[{"id":"https://openalex.org/F4320321038","display_name":"Fonds National de la Recherche Luxembourg","ror":"https://ror.org/039z13y21"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W37722159","https://openalex.org/W146244851","https://openalex.org/W182903750","https://openalex.org/W290626845","https://openalex.org/W365850277","https://openalex.org/W647742179","https://openalex.org/W950275316","https://openalex.org/W1527974336","https://openalex.org/W1533298133","https://openalex.org/W1539388770","https://openalex.org/W1542255234","https://openalex.org/W1559824347","https://openalex.org/W1598297854","https://openalex.org/W1651148894","https://openalex.org/W1727616536","https://openalex.org/W1754999230","https://openalex.org/W1770547011","https://openalex.org/W1878267993","https://openalex.org/W2002789557","https://openalex.org/W2004436277","https://openalex.org/W2018562795","https://openalex.org/W2021447283","https://openalex.org/W2023932343","https://openalex.org/W2024197819","https://openalex.org/W2029693536","https://openalex.org/W2052193425","https://openalex.org/W2063068653","https://openalex.org/W2071932454","https://openalex.org/W2080975816","https://openalex.org/W2116683577","https://openalex.org/W2117455301","https://openalex.org/W2118179522","https://openalex.org/W2127785555","https://openalex.org/W2135654420","https://openalex.org/W2138383982","https://openalex.org/W2139350954","https://openalex.org/W2141420453","https://openalex.org/W2142212799","https://openalex.org/W2145415641","https://openalex.org/W2146973388","https://openalex.org/W2155481610","https://openalex.org/W2157301192","https://openalex.org/W2167930752","https://openalex.org/W2169908972","https://openalex.org/W2204535006","https://openalex.org/W2293499550","https://openalex.org/W2338009283","https://openalex.org/W2507474852","https://openalex.org/W2598250020","https://openalex.org/W2613836390","https://openalex.org/W2741014554","https://openalex.org/W2765700031","https://openalex.org/W2770340794","https://openalex.org/W2794691483","https://openalex.org/W2809727329","https://openalex.org/W2889032811","https://openalex.org/W2907830512","https://openalex.org/W3177163875"],"related_works":["https://openalex.org/W2904818008","https://openalex.org/W2109535376","https://openalex.org/W1599634820","https://openalex.org/W87530933","https://openalex.org/W1982325601","https://openalex.org/W4240432851","https://openalex.org/W2289378658","https://openalex.org/W1531360494","https://openalex.org/W1988007309","https://openalex.org/W154233216"],"abstract_inverted_index":{"Verification":[0],"of":[1,54,125,133,141,176],"cryptographic":[2],"protocols":[3,78,127,148,165],"is":[4],"traditionally":[5],"built":[6],"upon":[7],"the":[8,52,66,113,163,177],"assumption":[9],"that":[10,128],"participants":[11,22],"have":[12],"not":[13],"revealed":[14],"their":[15,32],"long-term":[16,33],"keys.":[17],"However,":[18],"in":[19,47,62],"some":[20,27],"cases,":[21],"might":[23],"collude":[24,93],"to":[25,43,73,94,118],"defeat":[26],"security":[28,48,59,72,174],"goals,":[29],"without":[30,107],"revealing":[31],"secrets.":[34],"We":[35,50,69,137],"develop":[36,119],"a":[37,88,120,139],"model":[38],"based":[39],"on":[40,77],"multiset":[41],"rewriting":[42],"reason":[44],"about":[45],"collusion":[46,67],"protocols.":[49,86],"introduce":[51],"notion":[53],"post-collusion":[55,71],"security,":[56],"which":[57,145],"verifies":[58],"properties":[60],"claimed":[61],"sessions":[63],"initiated":[64],"after":[65],"occurred.":[68],"use":[70],"analyse":[74],"terrorist":[75,89],"fraud":[76,90],"for":[79,123,130],"securing":[80],"physical":[81],"proximity,":[82,97],"known":[83],"as":[84,150],"distance-bounding":[85,126],"In":[87],"attack,":[91],"agents":[92],"falsely":[95],"prove":[96],"whilst":[98],"no":[99],"further":[100,108],"false":[101],"proximity":[102,160],"proof":[103],"can":[104],"be":[105],"issued":[106],"collusion.":[109],"Our":[110],"definitions":[111],"and":[112,155,171],"Tamarin":[114],"prover":[115],"are":[116],"used":[117],"modular":[121],"framework":[122],"verification":[124],"accounts":[129],"all":[131],"types":[132],"attack":[134],"from":[135],"literature.":[136],"perform":[138],"survey":[140],"over":[142],"25":[143],"protocols,":[144],"include":[146],"industrial":[147,164],"such":[149],"Mastercard's":[151],"contactless":[152],"payment":[153],"PayPass":[154],"NXP's":[156],"MIFARE":[157],"Plus":[158],"with":[159],"check.":[161],"For":[162],"we":[166],"confirm":[167],"attacks,":[168],"propose":[169],"fixes,":[170],"deliver":[172],"computer-verifiable":[173],"proofs":[175],"repaired":[178],"versions.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}