{"id":"https://openalex.org/W4414978493","doi":"https://doi.org/10.1145/3763120","title":"Divide and Conquer: A Compositional Approach to Game-Theoretic Security","display_name":"Divide and Conquer: A Compositional Approach to Game-Theoretic Security","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414978493","doi":"https://doi.org/10.1145/3763120"},"language":"en","primary_location":{"id":"doi:10.1145/3763120","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763120","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3763120","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119914603","display_name":"Ivana Bocevska","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Ivana Bocevska","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0009-0000-9984-995X","affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093307793","display_name":"Anja Petkovi\u0107 Komel","orcid":"https://orcid.org/0000-0001-7203-6641"},"institutions":[{"id":"https://openalex.org/I4210144696","display_name":"Argomedical (Switzerland)","ror":"https://ror.org/05gemrx09","country_code":"CH","type":"company","lineage":["https://openalex.org/I4210144696"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Anja Petkovi\u0107 Komel","raw_affiliation_strings":["Argot Collective, Zug, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-7203-6641","affiliations":[{"raw_affiliation_string":"Argot Collective, Zug, Switzerland","institution_ids":["https://openalex.org/I4210144696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071158512","display_name":"Laura Kov\u00e1cs","orcid":"https://orcid.org/0000-0002-8299-2714"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Laura Kov\u00e1cs","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-8299-2714","affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051252268","display_name":"Sophie Rain","orcid":"https://orcid.org/0000-0002-8940-4989"},"institutions":[{"id":"https://openalex.org/I4210144696","display_name":"Argomedical (Switzerland)","ror":"https://ror.org/05gemrx09","country_code":"CH","type":"company","lineage":["https://openalex.org/I4210144696"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Sophie Rain","raw_affiliation_strings":["Argot Collective, Zug, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-8940-4989","affiliations":[{"raw_affiliation_string":"Argot Collective, Zug, Switzerland","institution_ids":["https://openalex.org/I4210144696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080196917","display_name":"Michael Rawson","orcid":"https://orcid.org/0000-0001-7834-1567"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Rawson","raw_affiliation_strings":["University of Southampton, Southampton, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-7834-1567","affiliations":[{"raw_affiliation_string":"University of Southampton, Southampton, United Kingdom","institution_ids":["https://openalex.org/I43439940"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5119914603"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38440061,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"1949","last_page":"1973"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9975000023841858,"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"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9975000023841858,"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/T11644","display_name":"Spam and Phishing Detection","score":0.996999979019165,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5529000163078308},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.47450000047683716},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.4625999927520752},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4544000029563904},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.3968999981880188},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.3474000096321106},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.3400999903678894}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7376000285148621},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5529000163078308},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.47450000047683716},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.4625999927520752},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4544000029563904},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.3968999981880188},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3790000081062317},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37290000915527344},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3400999903678894},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.3183000087738037},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C133112747","wikidata":"https://www.wikidata.org/wiki/Q7251931","display_name":"Protocol analysis","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26019999384880066},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763120","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763120","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3763120","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763120","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1906090066","display_name":null,"funder_award_id":"10.55776/F85","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G1967425808","display_name":null,"funder_award_id":"10.47379/ICT22007","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G8033010915","display_name":null,"funder_award_id":"101002685","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W134285089","https://openalex.org/W146244851","https://openalex.org/W1481397690","https://openalex.org/W2974196887","https://openalex.org/W3045000500","https://openalex.org/W3149480611","https://openalex.org/W3206384689","https://openalex.org/W4301373598","https://openalex.org/W6968572325"],"related_works":[],"abstract_inverted_index":{"We":[0,135],"propose":[1,140],"a":[2,119,122,141],"compositional":[3,147,152,202],"approach":[4,180],"to":[5,35,49,107,129,164,211],"combine":[6],"and":[7,139,184,207],"scale":[8,128],"automated":[9,94],"reasoning":[10,95,106,148,203],"in":[11,25,97],"the":[12,26,54,59,70,98,171,176,187,195],"static":[13],"analysis":[14,29,85,144,153,219],"of":[15,30,58,78,86,101,133,190,194,215,220],"decentralized":[16,60],"system":[17],"security,":[18],"such":[19,31,161],"as":[20,65,67,92,121],"blockchains.":[21],"Our":[22,151,179],"focus":[23],"lies":[24],"game-theoretic":[27,105,116],"security":[28,143,188,193,218],"systems,":[32],"allowing":[33],"us":[34],"examine":[36],"economic":[37,84],"incentives":[38],"behind":[39],"user":[40],"actions.":[41],"In":[42],"this":[43,137],"context,":[44],"it":[45],"is":[46,62,154,181],"particularly":[47],"important":[48],"certify":[50],"that":[51,162,201],"deviating":[52],"from":[53],"intended,":[55],"honest":[56],"behavior":[57],"protocol":[61],"not":[63,127,168],"beneficial:":[64],"long":[66],"users":[68],"follow":[69],"protocol,":[71],"they":[72],"cannot":[73],"be":[74,90],"financially":[75],"harmed,":[76],"regardless":[77],"how":[79],"others":[80],"behave.":[81],"Such":[82],"an":[83,93,114],"blockchain":[87],"protocols":[88,130],"can":[89],"encoded":[91],"problem":[96],"first-order":[99],"theory":[100],"real":[102],"arithmetic,":[103],"reducing":[104],"satisfiability":[108],"modulo":[109],"theories":[110],"(SMT).":[111],"However,":[112],"analyzing":[113],"entire":[115,172,196],"model":[117],"(called":[118],"game)":[120],"single":[123],"SMT":[124],"instance":[125],"does":[126],"with":[131,213],"millions":[132,214],"interactions.":[134],"address":[136],"challenge":[138],"divide-and-conquer":[142],"based":[145],"on":[146],"over":[149],"games.":[150],"incremental:":[155],"we":[156],"divide":[157],"games":[158,212],"into":[159],"subgames":[160,191],"changes":[163],"one":[165],"subgame":[166],"do":[167],"necessitate":[169],"re-analyzing":[170],"game,":[173],"but":[174],"only":[175],"ancestor":[177],"nodes.":[178],"sound,":[182],"complete,":[183],"effective:":[185],"combining":[186],"properties":[189,206],"yields":[192],"game.":[197],"Experimental":[198],"results":[199],"show":[200],"discovers":[204],"intra-game":[205],"errors":[208],"while":[209],"scaling":[210],"nodes,":[216],"enabling":[217],"large":[221],"protocols.":[222]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}